isabelle-cookbook: File revisions

CookBook/ROOT.ML

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
Mon, 20 Oct 2008 06:22:11 +0000	Christian Urban	further progress on the parsing section and tuning on the antiqu's	file \| diff \| annotate
Fri, 10 Oct 2008 17:08:15 +0200	berghofe	Added chapter about writing packages.	file \| diff \| annotate
Thu, 02 Oct 2008 04:48:41 -0400	Christian Urban	added a solution section and some other minor additions	file \| diff \| annotate
Wed, 01 Oct 2008 20:09:45 -0400	Christian Urban	polished and added a subdirectory for the recipes	file \| diff \| annotate
Wed, 01 Oct 2008 15:40:20 -0400	Christian Urban	various changes by Alex and Christian	file \| diff \| annotate
Sat, 06 Sep 2008 04:32:18 +0200	Christian Urban	added verbatim the notes by Jeremy	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