isabelle-cookbook: Changelog

Christian Urban <urbanc@in.tum.de> [Mon, 18 Jun 2012 14:49:09 +0100] rev 520

improved new_command section

Christian Urban <urbanc@in.tum.de> [Sat, 16 Jun 2012 15:25:47 +0100] rev 519

updated the section about new keywords

Christian Urban <urbanc@in.tum.de> [Thu, 24 May 2012 15:22:25 +0100] rev 518

updated

Christian Urban <urbanc@in.tum.de> [Mon, 30 Apr 2012 14:43:52 +0100] rev 517

removed special ML-setup and replaced it by explicit markups (i.e., %grayML)

Christian Urban <urbanc@in.tum.de> [Mon, 30 Apr 2012 12:36:32 +0100] rev 516

updated pdf

Christian Urban <urbanc@in.tum.de> [Mon, 30 Apr 2012 12:33:17 +0100] rev 515

updated to forthcoming Isabelle 2012

Christian Urban <urbanc@in.tum.de> [Tue, 20 Mar 2012 09:39:44 +0000] rev 514

updated to outer syntax / parser changes

Christian Urban <urbanc@in.tum.de> [Sun, 19 Feb 2012 01:33:47 +0000] rev 513

updated to new Isabelle

Christian Urban <urbanc@in.tum.de> [Wed, 15 Feb 2012 14:52:03 +0000] rev 512

remerged

Christian Urban <urbanc@in.tum.de> [Wed, 15 Feb 2012 14:47:46 +0000] rev 511

merged

isabelle-cookbook