| Sat, 10 May 2008 14:13:20 +0200 | wenzelm | updated generated file; | changeset | files |
| Sat, 10 May 2008 14:13:03 +0200 | wenzelm | fixed some labels; | changeset | files |
| Sat, 10 May 2008 13:26:25 +0200 | wenzelm | avoid old macros from isar.sty; | changeset | files |
| Sat, 10 May 2008 00:14:00 +0200 | wenzelm | misc reorganization; | changeset | files |