| Mon, 25 Aug 2008 22:42:04 +0200 | wenzelm | promoted to EBPlugin; | changeset | files |
| Mon, 25 Aug 2008 22:26:26 +0200 | wenzelm | explicitly depend on isabelle-Pure.jar and isabelle-scala-library.jar; | changeset | files |
| Mon, 25 Aug 2008 22:05:30 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 25 Aug 2008 21:59:36 +0200 | wenzelm | isabelle process: pick options/args from properties; | changeset | files |