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 |
2009-11-22 | Christian Urban | updated to new Isabelle and clarified Skip_Proof | file | diff | annotate |
2009-11-19 | Christian Urban | updated to new Isabelle | file | diff | annotate |