| 2011-06-28 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 2011-06-20 | Christian Urban | more polishing | file | diff | annotate |
| 2011-06-19 | Christian Urban | soem polishing | file | diff | annotate |
| 2011-06-17 | Christian Urban | a little polishing | file | diff | annotate |
| 2011-05-17 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 2011-02-23 | Christian Urban | updated to post-2011 Isabelle | file | diff | annotate |
| 2010-10-29 | griff | tracing_fn was moved to Output.Private_Hooks | file | diff | annotate |