| Thu, 15 May 2008 20:14:10 +0200 | wenzelm | use Isabelle sty files from Doc/; | file | diff | annotate |
| Sat, 30 Apr 2005 03:51:50 +0200 | kleing | fixed dependencies | file | diff | annotate |
| Sat, 30 Apr 2005 02:54:53 +0200 | kleing | don't leave stale root.pdf / root.dvi | file | diff | annotate |
| Mon, 12 May 2003 12:12:19 +0200 | kleing | makefiles for latex runs | file | diff | annotate |