| 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 |
| Thu, 05 Jul 2012 14:13:14 +0200 | wenzelm | more explicit directory structure Admin/Release/; | changeset | files |
| Thu, 05 Jul 2012 13:35:46 +0200 | wenzelm | merged | changeset | files |
| Thu, 05 Jul 2012 13:24:09 +0200 | haftmann | Stub theory for division on functionals. | changeset | files |
| Thu, 05 Jul 2012 13:33:53 +0200 | wenzelm | slightly modernized ISABELLE_GHC etc. -- /usr/bin is more likely to provide it by default (notably on macbroy2[0-9] and lxbroy*); | changeset | files |