isabelle-cookbook: Changelog

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

Christian Urban <urbanc@in.tum.de> [Thu, 02 Oct 2008 04:48:41 -0400] rev 15

added a solution section and some other minor additions

Christian Urban <urbanc@in.tum.de> [Wed, 01 Oct 2008 20:42:55 -0400] rev 14

added a paragraph about "uses" and started a paragraph about tracing

isabelle-cookbook