Thu, 08 Nov 2007 22:36:46 +0100 | wenzelm | tuned messages; | changeset | files |
Thu, 08 Nov 2007 22:19:43 +0100 | wenzelm | avoid "import" as identifier, which is a keyword in Alice; | changeset | files |
Thu, 08 Nov 2007 20:52:27 +0100 | wenzelm | tuned presentation; | changeset | files |