isabelle-cookbook: File revisions

CookBook/Intro.thy

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
Mon, 27 Oct 2008 18:48:52 +0100	Christian Urban	tuned mostly antiquotation and text	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
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
Fri, 05 Sep 2008 09:47:51 +0200	Christian Urban	split the document into smaller pieces;	file \| diff \| annotate

isabelle-cookbook