2019-05-17 | Norbert Schirmer | reactivated Readme.thy for authors | file | diff | annotate |
2019-05-16 | Norbert Schirmer | tuned ML-antiquotations; added intro portions. | file | diff | annotate |
2019-05-14 | Norbert Schirmer | accomodate Parsing section to Isabelle 2018 | file | diff | annotate |
2019-05-14 | Norbert Schirmer | Accomodate to Isabelle 2018 | file | diff | annotate |
2014-05-28 | Christian Urban |
some small updates for Isabelle and corrections in the Parsing chapter | file | diff | annotate |
2014-03-13 | Christian Urban |
updated to changes in Isabelle | file | diff | annotate |
2013-02-25 | Christian Urban |
updated the CallML section with the help from Florian | file | diff | annotate |
2012-09-16 | Christian Urban | updated | file | diff | annotate |
2012-08-28 | Christian Urban | added build for document | file | diff | annotate |