CookBook/Readme.thy
2009-01-10 Christian Urban tuned and added a section about creating keyword files
2009-01-08 Christian Urban deleted old files and added code to give a special tag to the command ML
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)
2008-12-17 Christian Urban tuned
2008-12-16 Christian Urban fixed typos
2008-12-13 Christian Urban tuned; added document antiquotation ML_response_fake_both
2008-11-29 Christian Urban removed the @{ML ...} antiquotation in favour of @{ML_open ...x}
2008-11-28 Christian Urban tuned
2008-11-24 Christian Urban added more material
2008-10-30 Christian Urban hakked latex so that it does not display ML {* *}; general tuning
2008-10-29 Christian Urban added a readme chapter for prospective authors; added commands for referring to the Isar Reference Manual
less more (0) tip