CookBook/antiquote_setup.ML
Tue, 17 Mar 2009 12:26:34 +0100 Christian Urban added hyperlinks for every file pointer
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
Fri, 13 Feb 2009 01:05:09 +0000 Christian Urban improved
Mon, 09 Feb 2009 01:23:35 +0000 Christian Urban renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious)
Sat, 07 Feb 2009 14:21:33 +0000 Christian Urban further cleanup
Sat, 07 Feb 2009 12:05:02 +0000 Christian Urban general cleaning up; deleted antiquotation ML_text; adjusted pathnames of various files in the distribution
less more (0) -10 -7 tip