ProgTutorial/Intro.thy
2019-05-17 Norbert Schirmer prefer cartouches over " in ML antiquotations
2019-05-17 Norbert Schirmer adding to "how to understand code"
2019-05-16 Norbert Schirmer tuned ML-antiquotations; added intro portions.
2019-05-14 Norbert Schirmer isabelle update_cartouches -t
2014-10-15 Christian Urban updated to new Isabelle
2014-07-08 Christian Urban updated for Isabelle 2014
2014-03-13 Christian Urban updated to changes in Isabelle
2013-02-25 Christian Urban updated the CallML section with the help from Florian
2012-12-01 Christian Urban removed versions
2012-08-28 Christian Urban added build for document
2012-08-27 Christian Urban adapted to new build framework
2012-06-21 Christian Urban tuned
2012-06-20 Christian Urban tuned
2012-06-20 Christian Urban moved the introspection part into the theorem section
2012-06-19 Christian Urban polished
less more (0) -15 tip