From: Georg Bauhaus <bauhaus@futureapps.de>
Subject: Re: Generating Ada from UML on Linux
Date: Thu, 10 Aug 2006 20:50:16 +0200
Date: 2006-08-10T20:49:33+02:00 [thread overview]
Message-ID: <1155235816.5815.9.camel@localhost.localdomain> (raw)
In-Reply-To: <20060810185748.M22459@docenti.ing.unipi.it>
On Thu, 2006-08-10 at 19:06 +0200, Colin Paul Gloster wrote:
> Z has this basic capability but is not expressible in ASCII
I wouldn't say you can get a nice 2D layout, but
you can get a fair bit of Z expressed in plain text.
Here is a formula randomly copied from a text book:
∃n : ℕ ∙ 6 + n = 4 ⋀ n = 2
-- Georg
next prev parent reply other threads:[~2006-08-10 18:50 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-08-07 9:50 Generating Ada from UML on Linux Jacob Sparre Andersen
2006-08-07 11:40 ` Martin Krischik
2006-08-07 13:08 ` okellogg
2006-08-07 13:18 ` Jacob Sparre Andersen
2006-08-09 11:01 ` Colin Paul Gloster
2006-08-10 10:59 ` Jacob Sparre Andersen
2006-08-10 17:06 ` Colin Paul Gloster
2006-08-10 18:50 ` Georg Bauhaus [this message]
2006-08-12 12:07 ` Stephen Leake
2006-08-14 6:40 ` Jacob Sparre Andersen
2006-08-14 19:32 ` Mark Lorenzen
2006-08-15 13:42 ` Jacob Sparre Andersen
2006-08-15 14:27 ` RSL (Was: Generating Ada from UML on Linux) Jacob Sparre Andersen
2006-08-16 1:10 ` Mark Lorenzen
2006-08-21 12:26 ` Colin Paul Gloster
-- strict thread matches above, loose matches on Subject: below --
2007-04-14 22:41 Generating Ada from UML on Linux okellogg
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox