| Mon, 25 Aug 2008 21:59:36 +0200 | wenzelm | isabelle process: pick options/args from properties; | changeset | files |
| Mon, 25 Aug 2008 21:58:54 +0200 | wenzelm | removed unused ConsolePlugin dependency; | changeset | files |
| Mon, 25 Aug 2008 20:01:17 +0200 | wenzelm | simplified exceptions: use plain error function / RuntimeException; | changeset | files |