isabelle-cookbook: File revisions

CookBook/chunks.ML

Thu, 12 Mar 2009 14:25:35 +0000	Christian Urban	simplified antiquotations	file \| diff \| annotate
Wed, 11 Mar 2009 01:43:28 +0000	Christian Urban	partially adapted to new antiquotation infrastructure	file \| diff \| annotate
Sat, 14 Feb 2009 13:20:21 +0000	Christian Urban	polished and added more material to the package chapter	file \| diff \| annotate
Sat, 14 Feb 2009 00:24:05 +0000	Christian Urban	added an option for linenumbers to the chunk-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
Tue, 16 Dec 2008 17:37:39 +0100	berghofe	Repaired output of marginal comments in ML antiquotation.	file \| diff \| annotate
Mon, 15 Dec 2008 10:48:27 +0100	berghofe	Adapted to changes in binding module.	file \| diff \| annotate
Fri, 10 Oct 2008 17:04:05 +0200	berghofe	Antiquotation for referring to chunks of ML code.	file \| diff \| annotate

isabelle-cookbook