| 2019-05-14 | Norbert Schirmer | Accomodate to Isabelle 2018 | file | diff | annotate |
| 2013-12-15 | Christian Urban |
updated to latest isabelle | file | diff | annotate |
| 2012-08-27 | Christian Urban | adapted to new build framework | file | diff | annotate |
| 2012-03-20 | Christian Urban | updated to outer syntax / parser changes | file | diff | annotate |
| 2011-10-26 | Christian Urban | updated to post-2011-1 Isabelle | file | diff | annotate |
| 2010-05-27 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 2010-03-07 | Christian Urban | updated to new isabelle | file | diff | annotate |