isabelle-cookbook: File revisions

CookBook/Recipes/Antiquotes.thy

Wed, 14 Jan 2009 23:44:14 +0000	Christian Urban	added an antiquotation option [gray] for gray boxes around displays	file \| diff \| annotate
Wed, 14 Jan 2009 17:47:49 +0000	Christian Urban	highligted the background of ML-code	file \| diff \| annotate
Sat, 10 Jan 2009 12:57:48 +0000	Christian Urban	tuned and added a section about creating keyword files	file \| diff \| annotate
Wed, 17 Dec 2008 05:08:33 +0000	Christian Urban	tuned	file \| diff \| annotate
Tue, 16 Dec 2008 17:28:05 +0000	Christian Urban	fixed typos	file \| diff \| annotate
Sat, 29 Nov 2008 21:20:18 +0000	Christian Urban	removed the @{ML ...} antiquotation in favour of @{ML_open ...x}	file \| diff \| annotate
Fri, 28 Nov 2008 05:19:55 +0100	Christian Urban	completes the recipie on antiquotations	file \| diff \| annotate
Thu, 30 Oct 2008 13:36:51 +0100	Christian Urban	*hakked latex so that it does not display ML { }; general tuning*	file \| diff \| annotate
Wed, 29 Oct 2008 21:51:25 +0100	Christian Urban	added a section about document antiquotations	file \| diff \| annotate

isabelle-cookbook