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 |