2009-01-03 | Christian Urban | doem tuning and made the cookbook work again with recent changes (CookBook/Package/Ind_Interface.thy needs to be looked at to see what the problem with the new parser type is) | file | diff | annotate |
2008-12-13 | Christian Urban | tuned; added document antiquotation ML_response_fake_both | file | diff | annotate |
2008-11-28 | Christian Urban | tuned | file | diff | annotate |
2008-11-25 | Christian Urban | tuned | 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 |