isabelle-cookbook: File revisions

cookbook.pdf

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
Tue, 30 Sep 2008 03:30:40 -0400	Christian Urban	tuned and updated antquote_setup.ML	file \| diff \| annotate
Wed, 17 Sep 2008 19:20:37 -0400	Christian Urban	many changes in the FirstSteps section	file \| diff \| annotate
Tue, 16 Sep 2008 00:45:44 +0200	Christian Urban	added an explicit file containing references in the Implementation manual (should be replaced by antiquotations)	file \| diff \| annotate
Tue, 16 Sep 2008 00:43:45 +0200	Christian Urban	some tuning	file \| diff \| annotate
Tue, 09 Sep 2008 14:57:23 +0200	Christian Urban	minor modifiations to the Intro and FirstSteps chapters	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

isabelle-cookbook