| Sat, 20 Dec 2008 14:19:12 +0100 | wenzelm | misc tuning and adaption according to original IsabelleParser -- | changeset | files |
| Sat, 20 Dec 2008 13:27:48 +0100 | wenzelm | obsolete, cf. build.xml and makedist; | changeset | files |
| Sat, 20 Dec 2008 12:32:40 +0100 | wenzelm | MOVABLE="TRUE" reuses existing instance when changing docking position -- | changeset | files |