| Thu, 15 May 2008 22:02:05 +0200 | wenzelm | removed unnecessary/untrusive a4paper option; | changeset | files |
| Thu, 15 May 2008 21:08:25 +0200 | wenzelm | use Isabelle sty files from Doc/; | changeset | files |
| Thu, 15 May 2008 20:20:30 +0200 | wenzelm | removed obsolete \ifpdfoutput; | changeset | files |
| Thu, 15 May 2008 20:19:49 +0200 | wenzelm | * Simplified pdfsetup.sty; | changeset | files |