CookBook/chunks.ML
Fri, 13 Mar 2009 16:57:16 +0100 Christian Urban updated to new read_specification
Thu, 12 Mar 2009 14:25:35 +0000 Christian Urban simplified antiquotations
Wed, 11 Mar 2009 01:43:28 +0000 Christian Urban partially adapted to new antiquotation infrastructure
Sat, 14 Feb 2009 13:20:21 +0000 Christian Urban polished and added more material to the package chapter
Sat, 14 Feb 2009 00:24:05 +0000 Christian Urban added an option for linenumbers to the chunk-antiquotation
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
Thu, 29 Jan 2009 17:08:39 +0000 Christian Urban made chunks aware of the gray-option
less more (0) -7 tip