| 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 |