#139 (Apr 9, 2016, 9:44:07 PM)

1. removed old proof method "default"; (detail / hgweb)
2. clean message more thoroughly; (detail / hgweb)
3. clarified modules;
   removed unsed exn_id; (detail / hgweb)
4. avoid interference with running PIDE protocol; (detail / hgweb)
5. proper signature for structure;
   tuned; (detail / hgweb)
6. tuned signature;
   proper signature for structure; (detail / hgweb)
7. proper output of markup, e.g. relevant for nested ML as used in Pure/System/bash.ML; (detail / hgweb)
8. support ROOT0.ML as well -- independently of ROOT.ML; (detail / hgweb)
9. flags as in 'ML' command; (detail / hgweb)
10. shared output primitives of physical/virtual Pure; (detail / hgweb)
11. shared thread position for physical/virtual Pure; (detail / hgweb)
12. prefer Synchronized.var; (detail / hgweb)
13. tuned signature; (detail / hgweb)
14. virtual Pure is single-threaded to avoid confusion with multiple thread farms etc.; (detail / hgweb)
15. tuned signature; (detail / hgweb)
16. tuned signature -- closer to Exn.Interrupt.expose in Scala; (detail / hgweb)
17. clarified bootstrap; (detail / hgweb)
18. clarified context;
    avoid Unsynchronized.ref; (detail / hgweb)
19. old; (detail / hgweb)
20. ensure globally unique counter results; (detail / hgweb)
21. tuned; (detail / hgweb)
22. clarified modules; (detail / hgweb)

Started by an SCM change