CookBook/chunks.ML
2009-02-14 Christian Urban polished and added more material to the package chapter
2009-02-14 Christian Urban added an option for linenumbers to the chunk-antiquotation
2009-02-05 Christian Urban (re)defined the document antiquotation @subgoal in order to be closer to what is actually printed
2009-01-29 Christian Urban made chunks aware of the gray-option
2008-12-16 berghofe Repaired output of marginal comments in ML antiquotation.
2008-12-15 berghofe Adapted to changes in binding module.
2008-10-10 berghofe Antiquotation for referring to chunks of ML code.
less more (0) tip