ROOT
2019-05-17 Norbert Schirmer reactivated Readme.thy for authors
2019-05-16 Norbert Schirmer tuned ML-antiquotations; added intro portions.
2019-05-14 Norbert Schirmer accomodate Parsing section to Isabelle 2018
2019-05-14 Norbert Schirmer Accomodate to Isabelle 2018
2014-05-28 Christian Urban some small updates for Isabelle and corrections in the Parsing chapter
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-09-16 Christian Urban updated
2012-08-28 Christian Urban added build for document
less more (0) tip