| Thu, 15 May 2008 22:10:18 +0200 | wenzelm | tuned comment; | changeset | files |
| Thu, 15 May 2008 22:03:32 +0200 | wenzelm | updated version; | changeset | files |
| 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 |