| 2008-09-30 | Christian Urban | tuned and updated antquote_setup.ML | file | diff | annotate |
| 2008-09-17 | Christian Urban | many changes in the FirstSteps section | file | diff | annotate |
| 2008-09-15 | Christian Urban | added an explicit file containing references in the Implementation manual (should be replaced by antiquotations) | file | diff | annotate |
| 2008-09-15 | Christian Urban | some tuning | file | diff | annotate |
| 2008-09-09 | Christian Urban | minor modifiations to the Intro and FirstSteps chapters | file | diff | annotate |
| 2008-09-06 | Christian Urban | added verbatim the notes by Jeremy | file | diff | annotate |
| 2008-09-05 | Christian Urban | split the document into smaller pieces; | file | diff | annotate |