| Fri, 06 Mar 2009 16:12:16 +0000 | Christian Urban | rolled back the changes on the function warning and tracing | file | diff | annotate |
| Thu, 05 Mar 2009 16:46:43 +0000 | Christian Urban | redefined the functions warning and tracing in order to properly match more antiquotations | file | diff | annotate |
| Mon, 09 Feb 2009 01:23:35 +0000 | Christian Urban | renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious) | file | diff | annotate |
| Mon, 26 Jan 2009 12:29:43 +0000 | Christian Urban | tuned | file | diff | annotate |
| Thu, 08 Jan 2009 22:47:15 +0000 | Christian Urban | deleted old files and added code to give a special tag to the command ML | file | diff | annotate |
| Tue, 16 Dec 2008 17:37:39 +0100 | berghofe | Repaired output of marginal comments in ML antiquotation. | file | diff | annotate |
| Wed, 29 Oct 2008 13:58:36 +0100 | Christian Urban | added positions to anti-quotations; removed old antiquotation_setup; tuned the text a bit | file | diff | annotate |