isabelle-cookbook: File revisions

IsaMakefile

Thu, 04 Jun 2009 09:28:29 +0200	Christian Urban	minor tuning	file \| diff \| annotate
Sat, 30 May 2009 17:40:20 +0200	Christian Urban	added some first index-information	file \| diff \| annotate
Fri, 08 May 2009 17:21:20 +0200	Christian Urban	a saner method for calling PolyML	file \| diff \| annotate
Fri, 03 Apr 2009 07:55:07 +0100	Christian Urban	various additions	file \| diff \| annotate
Thu, 19 Mar 2009 13:28:16 +0100	Christian Urban	made more of the transition from "CookBook" to "ProgTutorial"	file \| diff \| annotate
Sat, 28 Feb 2009 14:18:02 +0000	Christian Urban	general polishing; added versioning to the document	file \| diff \| annotate
Mon, 09 Feb 2009 01:23:35 +0000	Christian Urban	renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious)	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

isabelle-cookbook