| 2012-04-30 | Christian Urban | updated pdf | file | diff | annotate |
| 2012-04-30 | Christian Urban | updated to forthcoming Isabelle 2012 | file | diff | annotate |
| 2012-03-20 | Christian Urban | updated to outer syntax / parser changes | file | diff | annotate |
| 2012-02-19 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 2012-02-15 | Christian Urban | remerged | file | diff | annotate |
| 2012-02-15 | Christian Urban | merged | file | diff | annotate |
| 2012-02-15 | Christian Urban | updated to Isabelle 15 Feb | file | diff | annotate |
| 2012-01-21 | Christian Urban | updated part about beta in Tactiacal section | file | diff | annotate |