isabelle-cookbook: Changelog

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

Christian Urban <urbanc@in.tum.de> [Wed, 15 Feb 2012 14:33:29 +0000] rev 510

updated to Isabelle 15 Feb

Christian Urban <urbanc@in.tum.de> [Sat, 21 Jan 2012 15:35:47 +0000] rev 509

updated part about beta in Tactiacal section

Christian Urban <urbanc@in.tum.de> [Sat, 21 Jan 2012 15:18:38 +0000] rev 508

merged

isabelle-cookbook