isabelle-cookbook: File revisions

CookBook/antiquote_setup.ML

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, 07 Feb 2009 14:21:33 +0000	Christian Urban	further cleanup	file \| diff \| annotate
Sat, 07 Feb 2009 12:05:02 +0000	Christian Urban	general cleaning up; deleted antiquotation ML_text; adjusted pathnames of various files in the distribution	file \| diff \| annotate
Thu, 05 Feb 2009 22:40:22 +0000	Christian Urban	calculated the exact number of goals in the subgoal antiquotation	file \| diff \| annotate
Thu, 05 Feb 2009 16:34:05 +0000	Christian Urban	(re)defined the document antiquotation @subgoal in order to be closer to what is actually printed	file \| diff \| annotate
Thu, 29 Jan 2009 17:08:39 +0000	Christian Urban	made chunks aware of the gray-option	file \| diff \| annotate
Thu, 15 Jan 2009 13:42:28 +0000	Christian Urban	used newly exported break reference in ThyOutput for writing separate output_list function	file \| diff \| annotate

isabelle-cookbook