| Thu, 07 Apr 2016 12:08:02 +0200 | wenzelm | prefer regular context update, to allow continuous editing of Pure; | changeset | files |
| Thu, 07 Apr 2016 11:17:57 +0200 | wenzelm | clarified editor mode; | changeset | files |
| Wed, 06 Apr 2016 23:45:19 +0200 | wenzelm | treat ROOT.ML as theory with header "theory ML_Root imports ML_Bootstrap begin"; | changeset | files |