isabelle-cookbook: Changelog

Christian Urban <urbanc@in.tum.de> [Tue, 04 Aug 2009 16:18:39 +0200] rev 303

added an antiquotation for printing the raw proof state; polished the example about proof state

Christian Urban <urbanc@in.tum.de> [Mon, 03 Aug 2009 16:47:01 +0200] rev 302

tuned

Christian Urban <urbanc@in.tum.de> [Mon, 03 Aug 2009 14:01:57 +0200] rev 301

replaced "writeln" with "tracing"

Christian Urban <urbanc@in.tum.de> [Mon, 03 Aug 2009 13:53:04 +0200] rev 300

removed rail; added external aux-files

Christian Urban <urbanc@in.tum.de> [Sun, 02 Aug 2009 08:44:41 +0200] rev 299

updated to Isabelle changes and merged sections in the FirstSteps chapter

Christian Urban <urbanc@in.tum.de> [Sat, 01 Aug 2009 08:59:41 +0200] rev 298

some general polishing

Christian Urban <urbanc@in.tum.de> [Fri, 31 Jul 2009 19:10:39 +0200] rev 297

renamed pictures

Christian Urban <urbanc@in.tum.de> [Thu, 30 Jul 2009 16:02:26 +0200] rev 296

tuned figure placement

Christian Urban <urbanc@in.tum.de> [Thu, 30 Jul 2009 15:51:51 +0200] rev 295

polished the package chapter used FOCUS to explain the subproofs

Christian Urban <urbanc@in.tum.de> [Thu, 30 Jul 2009 11:38:52 +0200] rev 294

made changes for SUBPROOF and sat_tac

isabelle-cookbook