ProgTutorial/First_Steps.thy
2019-05-21 Norbert Schirmer prefer more result checking in ML antiquotations
2019-05-17 Norbert Schirmer prefer cartouches over " in ML antiquotations
2019-05-16 Norbert Schirmer tuned ML-antiquotations; added intro portions.
2019-05-14 Norbert Schirmer tuned parser for patterns in ML_response... antiquotations
2019-05-14 Norbert Schirmer isabelle update_cartouches -t
2019-05-14 Norbert Schirmer tuned parsing in document antiquotations for ML
2019-05-14 Norbert Schirmer Accomodate to Isabelle 2018
2014-10-15 Christian Urban improvements by Piotr Trojanek
2014-07-08 Christian Urban updated for Isabelle 2014
2014-04-03 Christian Urban updated
2014-03-13 Christian Urban updated to changes in Isabelle
2013-05-28 Christian Urban updated to Isabelle changes
2013-04-19 Christian Urban updated to simplifier change
2012-10-04 Christian Urban removed "use" for "ML_file"
2012-04-30 Christian Urban removed special ML-setup and replaced it by explicit markups (i.e., %grayML)
2011-11-25 Christian Urban merged
2011-11-24 Christian Urban updated to Isabelle 24 November
2011-11-17 Christian Urban tuned
2011-11-12 Christian Urban tuned
2011-11-07 Christian Urban tuned
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-06-28 Christian Urban updated to new Isabelle
2011-06-20 Christian Urban more polishing
2011-06-19 Christian Urban soem polishing
2011-06-17 Christian Urban a little polishing
2011-05-17 Christian Urban updated to new Isabelle
2011-02-23 Christian Urban updated to post-2011 Isabelle
2010-10-29 griff tracing_fn was moved to Output.Private_Hooks
2010-10-29 Christian Urban disabled foobar_prove; updated to new Isabelle
2010-08-28 Christian Urban a bit closer to the new conventions of naming HOL-constants
2010-08-13 Christian Urban added an example to be used for conversions later on
2010-07-28 Christian Urban test
less more (0) tip