isabelle-cookbook: File revisions

CookBook/Intro.thy

Thu, 08 Jan 2009 22:47:15 +0000	Christian Urban	deleted old files and added code to give a special tag to the command ML	file \| diff \| annotate
Sat, 03 Jan 2009 20:44:54 +0000	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
Sat, 13 Dec 2008 01:33:22 +0000	Christian Urban	tuned; added document antiquotation ML_response_fake_both	file \| diff \| annotate
Fri, 28 Nov 2008 05:56:28 +0100	Christian Urban	tuned	file \| diff \| annotate
Tue, 25 Nov 2008 05:19:27 +0000	Christian Urban	tuned	file \| diff \| annotate
Wed, 29 Oct 2008 21:46:33 +0100	Christian Urban	added a readme chapter for prospective authors; added commands for referring to the Isar Reference Manual	file \| diff \| annotate
Wed, 29 Oct 2008 13:58:36 +0100	Christian Urban	added positions to anti-quotations; removed old antiquotation_setup; tuned the text a bit	file \| diff \| annotate

isabelle-cookbook