| 2009-03-06 | Christian Urban | rolled back the changes on the function warning and tracing | file | diff | annotate |
| 2009-03-05 | Christian Urban | redefined the functions warning and tracing in order to properly match more antiquotations | file | diff | annotate |
| 2009-02-09 | Christian Urban | renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious) | file | diff | annotate |
| 2009-01-26 | Christian Urban | tuned | file | diff | annotate |
| 2009-01-08 | Christian Urban | deleted old files and added code to give a special tag to the command ML | file | diff | annotate |
| 2008-12-16 | berghofe | Repaired output of marginal comments in ML antiquotation. | file | diff | annotate |
| 2008-10-29 | Christian Urban | added positions to anti-quotations; removed old antiquotation_setup; tuned the text a bit | file | diff | annotate |
| 2008-10-10 | berghofe | New theory for installing antiquotations. | file | diff | annotate |