| Sun, 10 Dec 2017 14:29:14 +0100 | wenzelm | more explicit latex errors; | file | diff | annotate |
| Thu, 10 Mar 2016 17:30:04 +0100 | wenzelm | prefer plain "isabelle" from PATH within Isabelle settings environment; | file | diff | annotate |
| Sat, 27 Jul 2013 22:44:04 +0200 | wenzelm | more uniform cleanup; | file | diff | annotate |
| Sat, 27 Jul 2013 22:38:06 +0200 | wenzelm | tuned; | file | diff | annotate |