isabelle-cookbook: Changelog

berghofe [Fri, 10 Oct 2008 17:06:26 +0200] rev 25

Antiquotation setup is now contained in theory Base.

berghofe [Fri, 10 Oct 2008 17:04:05 +0200] rev 24

Antiquotation for referring to chunks of ML code.

berghofe [Fri, 10 Oct 2008 16:59:35 +0200] rev 23

New theory for installing antiquotations.

Christian Urban <urbanc@in.tum.de> [Thu, 09 Oct 2008 19:25:42 -0400] rev 22

new version of implementation.aux

Christian Urban <urbanc@in.tum.de> [Thu, 09 Oct 2008 12:58:50 -0400] rev 21

added a proof and tuned the rest

Christian Urban <urbanc@in.tum.de> [Mon, 06 Oct 2008 10:11:08 -0400] rev 20

some slight polishing

Christian Urban <urbanc@in.tum.de> [Sun, 05 Oct 2008 14:29:13 -0400] rev 19

some tuning in the FirstSteps section

Christian Urban <urbanc@in.tum.de> [Thu, 02 Oct 2008 05:30:46 -0400] rev 18

tuned IsaMakefile

Christian Urban <urbanc@in.tum.de> [Thu, 02 Oct 2008 05:28:39 -0400] rev 17

fixed creation of bibliography

Christian Urban <urbanc@in.tum.de> [Thu, 02 Oct 2008 05:18:49 -0400] rev 16

polished

isabelle-cookbook