| Sat, 20 Dec 2008 14:48:10 +0100 | wenzelm | renamed IsabellePlugin to Isabelle; | changeset | files |
| 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 |
| Sat, 20 Dec 2008 12:17:43 +0100 | wenzelm | updated to 4.3pre16; | changeset | files |
| Sat, 20 Dec 2008 11:07:02 +0100 | wenzelm | removed jEdit sources from target; | changeset | files |