#51 (Feb 29, 2016, 8:59:10 PM)

1. merged (detail / hgweb)
2. isabelle_process executable no longer supports writable heap images; (detail / hgweb)
3. more careful cleanup; (detail / hgweb)
4. obsolete; (detail / hgweb)
5. tuned; (detail / hgweb)
6. redundant -- already part of Session.finish; (detail / hgweb)
7. proper exit as in Scala version (in contrast to a45ba78abcc1); (detail / hgweb)
8. save heap more directly; (detail / hgweb)
9. clarified modules; (detail / hgweb)
10. clarified ML heap operations; (detail / hgweb)

Started by an SCM change