Newsgroups: comp.compilers,comp.os.mach,comp.lang.beta
Path: news.daimi.aau.dk!news.uni-c.dk!sunic!sunic.sunet.se!doc.news.pipex.net!pipex!howland.reston.ans.net!news.sprintlink.net!news.bluesky.net!solaris.cc.vt.edu!news.mathworks.com!uhog.mit.edu!news.mtholyoke.edu!world!iecc!compilers-sender
From: novy1@odysseus.zcu.cz (Marek Novy)
Subject: BatOS Virtual Operating System Announcement
Message-ID: <95-03-048@comp.compilers>
Keywords: design, question
Sender: compilers-sender@chico.iecc.com
Organization: Compilers Central
Date: Tue, 7 Mar 1995 14:30:13 GMT
Approved: compilers@chico.iecc.com
Lines: 22
Xref: news.daimi.aau.dk comp.compilers:8258 comp.os.mach:4836 comp.lang.beta:267

Hi,

I put together some crazy ideas about my dream operating system. It is based on
Beta programming language as one and only consistent specification language
both for maintanance and programming. It's available on

		http://odysseus.zcu.cz/~novy1

It requires to be a little bit familiar with Beta programming language
and Mach microkernel. I made a link to the Beta Introduction and Mach home
page.

I'd be very happy to know your opinion and comments.
--
Marek Novy, University of West Bohemia
home: 5.kvetna 670              campus:  Machova 20, p.619
      34201 Susice                       30000 Pilsen
      Czech Republic                     Czech Republic
 tel. 0042-1878711              email:   novy1@odysseus.zcu.cz
-- 
Send compilers articles to compilers@iecc.com,
meta-mail to compilers-request@iecc.com.