#83 (Mar 13, 2016, 1:13:32 AM)

1. tuned; (detail / hgweb)
2. merged (detail / hgweb)
3. tuned; (detail / hgweb)
4. clarified cleanup; (detail / hgweb)
5. more thorough cleanup -- in Scala; (detail / hgweb)
6. create ISABELLE_TMP in Scala (despite odd/obsolete chmod in d84b4d39bce1); (detail / hgweb)
7. obsolete (cf. 63a5782c764e); (detail / hgweb)
8. clarified session build options: already provided by ML_Process;
   tuned signature; (detail / hgweb)
9. spelling (detail / hgweb)

Started by an SCM change