isabelle-cookbook: Changelog

Christian Urban <urbanc@in.tum.de> [Fri, 02 Oct 2009 15:38:14 +0200] rev 327

more work on the storing section

Christian Urban <urbanc@in.tum.de> [Thu, 01 Oct 2009 10:19:21 +0200] rev 326

more work on the tutorial

Christian Urban <urbanc@in.tum.de> [Tue, 29 Sep 2009 22:10:48 +0200] rev 325

started section about storing data

Christian Urban <urbanc@in.tum.de> [Mon, 28 Sep 2009 23:52:06 +0200] rev 324

updated foobar_proof example

Christian Urban <urbanc@in.tum.de> [Mon, 28 Sep 2009 01:21:27 +0200] rev 323

some polishing

Christian Urban <urbanc@in.tum.de> [Tue, 25 Aug 2009 00:07:37 +0200] rev 322

included some tests

Christian Urban <urbanc@in.tum.de> [Sat, 22 Aug 2009 02:56:08 +0200] rev 321

polished the commands section

Christian Urban <urbanc@in.tum.de> [Fri, 21 Aug 2009 16:23:51 +0200] rev 320

tuned

Christian Urban <urbanc@in.tum.de> [Fri, 21 Aug 2009 16:04:59 +0200] rev 319

added file for producing a keyword file

Christian Urban <urbanc@in.tum.de> [Fri, 21 Aug 2009 11:42:14 +0200] rev 318

split up the first-steps section into two chapters

isabelle-cookbook