#94 (Mar 16, 2016, 11:20:09 PM)

1. merged (detail / hgweb)
2. eliminated spurious Unicode, which is in conflict with Isabelle symbol interpretation; (detail / hgweb)
3. pro-forma selection for improved error message; (detail / hgweb)
4. eliminated without magic name; (detail / hgweb)
5. NEWS; (detail / hgweb)
6. always build with full results;
   always print unfinished sessions; (detail / hgweb)
7. clarified name; (detail / hgweb)
8. isabelle process -d;
   proper args; (detail / hgweb)
9. tuned signature; (detail / hgweb)
10. support for Poly/ML heap hierarchy, which saves a lot of disk space; (detail / hgweb)
11. clarified signature; (detail / hgweb)
12. tuned signature; (detail / hgweb)
13. less physical "logic" argument, with option -l like "isabelle console" etc.; (detail / hgweb)
14. find heaps uniformly via Sessions.Store;
    tuned; (detail / hgweb)
15. clarified modules; (detail / hgweb)
16. clarified modules; (detail / hgweb)
17. ML save_state under control of Isabelle/Scala; (detail / hgweb)
18. clarified prompt: "ML" usually means Isabelle/ML; (detail / hgweb)
19. record stamps of cumulative input heaps;
    tuned; (detail / hgweb)

Started by an SCM change