| Sat, 27 Dec 2008 16:33:19 +0100 | wenzelm | maintain initial process environment; | changeset | files |
| Sat, 27 Dec 2008 16:28:36 +0100 | haftmann | merged | changeset | files |
| Sat, 27 Dec 2008 16:28:13 +0100 | haftmann | tackling simultaneous val/fun bindings | changeset | files |
| Sat, 27 Dec 2008 14:57:30 +0100 | wenzelm | proper class IsabelleSystem -- no longer static; | changeset | files |