2012-06-19 Christian Sternagel proofread section 5.8 + spell-checked Parsing.thy
2012-06-18 Christian Urban updated
2012-06-18 Christian Urban polished
2012-06-18 Christian Urban improved new_command section
2012-06-16 Christian Urban updated the section about new keywords
2012-05-24 Christian Urban updated
2012-04-30 Christian Urban removed special ML-setup and replaced it by explicit markups (i.e., %grayML)
2012-04-30 Christian Urban updated pdf
2012-04-30 Christian Urban updated to forthcoming Isabelle 2012
2012-03-20 Christian Urban updated to outer syntax / parser changes
2012-02-19 Christian Urban updated to new Isabelle
2012-02-15 Christian Urban remerged
2012-02-15 Christian Urban merged
2012-02-15 Christian Urban updated to Isabelle 15 Feb
2012-01-21 Christian Urban updated part about beta in Tactiacal section
2012-01-21 Christian Urban merged
2012-01-21 Christian Urban modified the passage on beta-contractions
2012-01-16 Christian Urban tuned
2011-11-30 Christian Urban updated to Isabelle 30 November
2011-11-25 Christian Urban merged
2011-11-24 Christian Urban updated to Isabelle 24 November
2011-11-17 Christian Urban tuned
2011-11-17 Christian Urban more on contexts
2011-11-16 Christian Urban more on contexts
2011-11-14 Christian Urban more on contexts
2011-11-14 Christian Urban tuned
2011-11-12 Christian Urban tuned
2011-11-12 Christian Urban tuned
2011-11-11 Christian Urban more on contexts
2011-11-10 Christian Urban tuned
2011-11-10 Christian Urban tuned
2011-11-10 Christian Urban tuned
2011-11-09 Christian Urban tuned
2011-11-09 Christian Urban tuned
2011-11-07 Christian Urban tuned
2011-11-07 Christian Urban more on contexts
2011-11-07 Christian Urban more on theories
2011-11-06 Christian Urban a section about theories and setups
2011-11-05 Christian Urban added section about testboard
2011-11-04 Christian Urban more material
2011-11-03 Christian Urban tuned
2011-11-02 Christian Urban tuned
2011-10-30 Christian Urban updated
2011-10-29 Christian Urban test
2011-10-29 Christian Urban a few things added First_Steps
2011-10-27 Christian Urban some tests
2011-10-26 Christian Urban merged
2011-10-26 Christian Urban minor things
2011-10-26 Christian Urban updated to post-2011-1 Isabelle
2011-10-19 Christian Urban a few things updated
2011-10-17 Christian Urban this version works with Isabelle2011-1
2011-07-30 Christian Urban updated to new Isabelle
2011-06-28 Christian Urban updated to new Isabelle
2011-06-28 Christian Urban binding in antiquotations
2011-06-21 Christian Urban added an excercise originally by Jasmin Blanchette
2011-06-20 Christian Urban more polishing
2011-06-19 Christian Urban soem polishing
2011-06-17 Christian Urban a little polishing
2011-06-14 Christian Urban updated to new Isabelle
2011-05-17 Christian Urban updated to new Isabelle
(0) -300 -100 -60 tip