isabelle-cookbook: File revisions

IsaMakefile

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
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
Fri, 10 Oct 2008 17:08:40 +0200	berghofe	Added chapter about writing packages.	file \| diff \| annotate
Thu, 02 Oct 2008 05:30:46 -0400	Christian Urban	tuned IsaMakefile	file \| diff \| annotate
Thu, 02 Oct 2008 05:28:39 -0400	Christian Urban	fixed creation of bibliography	file \| diff \| annotate
Fri, 05 Sep 2008 09:47:51 +0200	Christian Urban	split the document into smaller pieces;	file \| diff \| annotate
Wed, 03 Sep 2008 18:12:36 +0200	Christian Urban	initial commit of Alexander's files	file \| diff \| annotate

isabelle-cookbook