| Thu, 20 May 2010 21:07:05 +0200 | wenzelm | read style sheets only once; | changeset | files |
| Thu, 20 May 2010 20:56:26 +0200 | wenzelm | handle component resize for output / HTML panel; | changeset | files |
| Thu, 20 May 2010 20:22:00 +0200 | wenzelm | Isabelle_System: allow explicit isabelle_home argument; | changeset | files |