From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,b438e75ce5e32099 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII From: Jacob Sparre Andersen Newsgroups: comp.lang.ada Subject: Re: Generating Ada from UML on Linux Date: Tue, 15 Aug 2006 15:42:49 +0200 Organization: Jacob's private Usenet server Message-ID: <87mza6unc6.fsf@nbi.dk> References: <87ejvs6fj6.fsf@nbi.dk> <20060809130000.J84175@docenti.ing.unipi.it> <87r6zjvmzx.fsf@nbi.dk> NNTP-Posting-Host: 0x5552efa6.adsl.cybercity.dk Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Trace: jacob-sparre.dk 1155649370 6724 85.82.239.166 (15 Aug 2006 13:42:50 GMT) X-Complaints-To: sparre@jacob-sparre.dk NNTP-Posting-Date: Tue, 15 Aug 2006 13:42:50 +0000 (UTC) User-Agent: Gnus/5.110004 (No Gnus v0.4) Emacs/21.4 (gnu/linux) Cancel-Lock: sha1:XMpObdbjtHPye96FsvaznLkKVKI= Path: g2news2.google.com!news2.google.com!news.germany.com!news.osn.de!diablo2.news.osn.de!newsfeed.kamp.net!newsfeed.kamp.net!81.174.50.156.MISMATCH!redpower.x-privat.org!news.jacob-sparre.dk!pnx.dk!not-for-mail Xref: g2news2.google.com comp.lang.ada:6213 Date: 2006-08-15T15:42:49+02:00 List-Id: Mark Lorenzen wrote: > Jacob Sparre Andersen wrote: >> I will take a look at them. I don't think I can switch the course >> from UML to Z this year, but maybe I can be ready to do it next >> year. > > Jacob, as a Dane you should of course use RSL ;-) Maybe I should. First time I hear about it. I'll get our library to order some books on RSL/RAISE (if they haven't got some already). Jacob -- �If you're going to have crime, it might as well be organized crime.� -- Lord Vetinari