| 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 |
| Mon, 27 Oct 2008 18:48:52 +0100 | Christian Urban | tuned mostly antiquotation and text | file | diff | annotate |
| Wed, 01 Oct 2008 15:40:20 -0400 | Christian Urban | various changes by Alex and Christian | file | diff | annotate |
| Tue, 30 Sep 2008 03:30:40 -0400 | Christian Urban | tuned and updated antquote_setup.ML | file | diff | annotate |