2008-11-25 | Christian Urban | tuned | file | diff | annotate |
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 | deleted old antiquote_setup and renamed antiquote_setup_plus to antiquuote_setup | file | diff | annotate |
2008-10-29 | Christian Urban | added a readme chapter for prospective authors; added commands for referring to the Isar Reference Manual | 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 |