2012-06-19 proofread section 5.8 + spell-checked Parsing.thy
Christian Sternagel [Tue, 19 Jun 2012 12:45:22 +0900] rev 523
proofread section 5.8 + spell-checked Parsing.thy
2012-06-18 updated
Christian Urban <urbanc@in.tum.de> [Mon, 18 Jun 2012 16:46:38 +0100] rev 522
updated
2012-06-18 polished
Christian Urban <urbanc@in.tum.de> [Mon, 18 Jun 2012 15:04:34 +0100] rev 521
polished
2012-06-18 improved new_command section
Christian Urban <urbanc@in.tum.de> [Mon, 18 Jun 2012 14:49:09 +0100] rev 520
improved new_command section
2012-06-16 updated the section about new keywords
Christian Urban <urbanc@in.tum.de> [Sat, 16 Jun 2012 15:25:47 +0100] rev 519
updated the section about new keywords
2012-05-24 updated
Christian Urban <urbanc@in.tum.de> [Thu, 24 May 2012 15:22:25 +0100] rev 518
updated
2012-04-30 removed special ML-setup and replaced it by explicit markups (i.e., %grayML)
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)
2012-04-30 updated pdf
Christian Urban <urbanc@in.tum.de> [Mon, 30 Apr 2012 12:36:32 +0100] rev 516
updated pdf
2012-04-30 updated to forthcoming Isabelle 2012
Christian Urban <urbanc@in.tum.de> [Mon, 30 Apr 2012 12:33:17 +0100] rev 515
updated to forthcoming Isabelle 2012
2012-03-20 updated to outer syntax / parser changes
Christian Urban <urbanc@in.tum.de> [Tue, 20 Mar 2012 09:39:44 +0000] rev 514
updated to outer syntax / parser changes
(0) -300 -100 -10 +10 tip