| Thu, 02 Aug 2012 00:02:00 +0200 | wenzelm | more antiquotations; | changeset | files |
| Wed, 01 Aug 2012 23:33:26 +0200 | wenzelm | more standard bootstrapping of Pure outer syntax; | changeset | files |
| Wed, 01 Aug 2012 22:12:29 +0200 | wenzelm | fixed document; | changeset | files |