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