| 2009-11-07 | Christian Urban | added type work and updated to Isabelle and poly 5.3 | file | diff | annotate |
| 2009-11-01 | Christian Urban | tuned index | file | diff | annotate |
| 2009-10-25 | Christian Urban | some polishing | file | diff | annotate |
| 2009-10-13 | Christian Urban | tuned the ML-output mechanism; tuned slightly the text | file | diff | annotate |
| 2009-10-11 | Christian Urban | fixed glitch with tocibind | file | diff | annotate |
| 2009-10-05 | Christian Urban | used rewrite_goal_tac (instead of rewrite_goals_tac) | file | diff | annotate |