ProgTutorial/Recipes/Antiquotes.thy
2019-05-22 Norbert Schirmer fixing some Line references
2019-05-22 Norbert Schirmer polish document
2019-05-21 Norbert Schirmer accomodate to upcoming Isabelle 2019
2019-05-17 Norbert Schirmer prefer cartouches over " in ML antiquotations
2019-05-14 Norbert Schirmer isabelle update_cartouches -t
2019-05-14 Norbert Schirmer Accomodate to Isabelle 2018
2014-04-06 Christian Urban updated to new isabelle
2014-03-13 Christian Urban updated to changes in Isabelle
2012-04-30 Christian Urban removed special ML-setup and replaced it by explicit markups (i.e., %grayML)
2011-06-28 Christian Urban updated to new Isabelle
2010-08-28 Christian Urban updated to new isabelle
2010-06-08 Christian Urban updated to new Isabelle
2010-05-27 Christian Urban updated to new Isabelle
2009-10-13 Christian Urban tuned the ML-output mechanism; tuned slightly the text
2009-07-28 Christian Urban added more to the ML-antiquotation section
less more (0) -15 tip