| Thu, 26 Jul 2012 19:16:04 +0200 | wenzelm | recovered chapter on Presenting Theories; | file | diff | annotate |
| Thu, 26 Jul 2012 18:55:42 +0200 | wenzelm | recovered latex job; | file | diff | annotate |
| Fri, 29 Jun 2012 15:45:50 +0200 | wenzelm | default for \<euro> is now based on eurosym package, instead of slightly exotic babel/greek (which causes problems with the Gentoo installation on lxbroy2); | file | diff | annotate |
| Sun, 01 May 2011 16:36:34 +0200 | wenzelm | eliminated copies of isabelle style files; | file | diff | annotate |
| Mon, 20 Apr 2009 15:24:57 +0200 | haftmann | empty page leads to results on duplex printers as expected | file | diff | annotate |
| Thu, 15 May 2008 20:14:10 +0200 | wenzelm | use Isabelle sty files from Doc/; | file | diff | annotate |