| Wed, 01 Oct 2008 15:40:20 -0400 | Christian Urban | various changes by Alex and Christian | changeset | files |
| Tue, 30 Sep 2008 03:30:40 -0400 | Christian Urban | tuned and updated antquote_setup.ML | changeset | files |
| Wed, 17 Sep 2008 19:20:37 -0400 | Christian Urban | many changes in the FirstSteps section | changeset | files |
| Wed, 17 Sep 2008 19:20:06 -0400 | Christian Urban | added new version | changeset | files |
| Tue, 16 Sep 2008 00:46:29 +0200 | Christian Urban | forgot to add (see previous message) | changeset | files |
| Tue, 16 Sep 2008 00:45:44 +0200 | Christian Urban | added an explicit file containing references in the Implementation manual (should be replaced by antiquotations) | changeset | files |