| Wed, 06 Apr 2016 14:02:12 +0200 | wenzelm | clarified ML bootstrap environment; | changeset | files |
| Wed, 06 Apr 2016 11:57:21 +0200 | wenzelm | simplified bootstrap: critical structures remain accessible in ML_Root context; | changeset | files |
| Wed, 06 Apr 2016 11:50:07 +0200 | wenzelm | more uniform cleanup (via ML_Process in Scala); | changeset | files |