CookBook/antiquote_setup.ML
2009-02-13 Christian Urban improved
2009-02-09 Christian Urban renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious)
2009-02-07 Christian Urban further cleanup
2009-02-07 Christian Urban general cleaning up; deleted antiquotation ML_text; adjusted pathnames of various files in the distribution
2009-02-05 Christian Urban calculated the exact number of goals in the subgoal 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
less more (0) -10 -7 tip