| 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 |
| Thu, 01 Nov 2007 13:44:44 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 10 Jun 2005 18:36:47 +0200 | nipkow | tuning | file | diff | annotate |
| Thu, 19 Feb 2004 17:57:54 +0100 | paulson | new numerics section using type classes | file | diff | annotate |
| Thu, 08 May 2003 13:36:07 +0200 | kleing | fix euro error | file | diff | annotate |
| Thu, 21 Feb 2002 18:19:34 +0100 | wenzelm | updated title; | file | diff | annotate |