| Thu, 05 Jul 2012 16:11:33 +0200 | wenzelm | prefer sys.env from scala 2.9; | changeset | files |
| Thu, 05 Jul 2012 16:03:09 +0200 | wenzelm | prefer sys.exit from scala 2.9; | changeset | files |
| Thu, 05 Jul 2012 15:40:57 +0200 | wenzelm | internalize error into command transaction -- relevant for commands that are declared via 'keywords', but not defined yet; | changeset | files |