CookBook/Base.thy
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)
Mon, 26 Jan 2009 12:29:43 +0000 Christian Urban tuned
Thu, 08 Jan 2009 22:47:15 +0000 Christian Urban deleted old files and added code to give a special tag to the command ML
Tue, 16 Dec 2008 17:37:39 +0100 berghofe Repaired output of marginal comments in ML antiquotation.
Wed, 29 Oct 2008 13:58:36 +0100 Christian Urban added positions to anti-quotations; removed old antiquotation_setup; tuned the text a bit
Fri, 10 Oct 2008 16:59:35 +0200 berghofe New theory for installing antiquotations.
less more (0) tip