2008-11-24 | Christian Urban | added more material | file | diff | annotate |
2008-11-01 | Christian Urban | fixed FIXME's in fake responses | file | diff | annotate |
2008-10-30 | Christian Urban | hakked latex so that it does not display ML {* *}; general tuning | 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-27 | Christian Urban | tuned mostly antiquotation and text | file | diff | annotate |
2008-10-20 | Christian Urban | further progress on the parsing section and tuning on the antiqu's | file | diff | annotate |
2008-10-17 | Christian Urban | more on the parsing section | file | diff | annotate |
2008-10-17 | Christian Urban | substantial changes to the antiquotations (preliminary version) | file | diff | annotate |