cookbook.pdf
2008-11-25 Christian Urban tuned
2008-11-24 Christian Urban added more material
2008-11-01 Christian Urban fixed FIXME's in fake responses
2008-10-30 Christian Urban hakked latex so that it does not display ML {* *}; general tuning
2008-10-29 Christian Urban deleted old antiquote_setup and renamed antiquote_setup_plus to antiquuote_setup
2008-10-29 Christian Urban added a readme chapter for prospective authors; added commands for referring to the Isar Reference Manual
2008-10-29 Christian Urban added positions to anti-quotations; removed old antiquotation_setup; tuned the text a bit
less more (0) -10 -7 tip