| 2012-06-18 | Christian Urban | improved new_command section | file | diff | annotate |
| 2012-03-20 | Christian Urban | updated to outer syntax / parser changes | file | diff | annotate |
| 2010-10-29 | Christian Urban | disabled foobar_prove; updated to new Isabelle | file | diff | annotate |
| 2010-08-28 | Christian Urban | updated to new isabelle | file | diff | annotate |
| 2010-05-27 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 2010-04-26 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 2009-11-19 | Christian Urban | updated to new Isabelle | file | diff | annotate |