ProgTutorial/antiquote_setup.ML
2014-03-13 Christian Urban updated to changes in Isabelle
2013-05-17 Christian Urban updated to new Isabelle
2012-12-01 Christian Urban updated to new isabelle
2012-04-30 Christian Urban removed special ML-setup and replaced it by explicit markups (i.e., %grayML)
2011-10-26 Christian Urban updated to post-2011-1 Isabelle
2011-06-28 Christian Urban updated to new Isabelle
2011-06-28 Christian Urban binding in antiquotations
less more (0) -10 -7 tip