| 2014-02-14 | wenzelm | prefer latest ProofGeneral-4.2-1 by default; | file | diff | annotate |
| 2014-01-18 | wenzelm | more unicode tokens; | file | diff | annotate |
| 2013-05-27 | wenzelm | updated to ProofGeneral-4.2; | file | diff | annotate |
| 2013-01-09 | wenzelm | updated makebundles as Admin isabelle tool; | file | diff | annotate |