| 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 |
| Sat, 27 Jul 2013 22:20:25 +0200 | wenzelm | discontinued historic document formats; | file | diff | annotate |
| Mon, 29 Apr 2013 17:17:20 +0200 | wenzelm | avoid empty isabelletags.sty for the sake of arXiv; | file | diff | annotate |