| Tue, 03 Jun 2008 16:45:59 +0200 | wenzelm | updated to official 5.2; | changeset | files |
| Tue, 03 Jun 2008 14:32:37 +0200 | wenzelm | use isabelle style files from Doc/ -- not the generated ones (which are not present in the repository anyway); | changeset | files |
| Tue, 03 Jun 2008 14:04:51 +0200 | wenzelm | some reorganization and fine-tuning; | changeset | files |