CookBook/antiquote_setup_plus.ML
Mon, 27 Oct 2008 18:48:52 +0100 Christian Urban tuned mostly antiquotation and text
Mon, 20 Oct 2008 06:22:11 +0000 Christian Urban further progress on the parsing section and tuning on the antiqu's
Fri, 17 Oct 2008 05:02:04 -0400 Christian Urban substantial changes to the antiquotations (preliminary version)
Fri, 10 Oct 2008 17:07:52 +0200 berghofe Added some more antiquotations.
Thu, 02 Oct 2008 04:48:41 -0400 Christian Urban added a solution section and some other minor additions
less more (0) tip