#133 (Apr 6, 2016, 12:04:40 AM)

1. merged (detail / hgweb)
2. proper file extension; (detail / hgweb)
3. clarified files; (detail / hgweb)
4. back to static conditional compilation -- simplified bootstrap; (detail / hgweb)
5. clarified modules -- simplified bootstrap; (detail / hgweb)
6. avoid malformed Isabelle symbols during bootstrap; (detail / hgweb)
7. clarified modules -- simplified bootstrap; (detail / hgweb)
8. clarified bootstrap environment; (detail / hgweb)
9. actually observe ML_system_unsafe, concerning the environment that is stored in theory ML_Root; (detail / hgweb)
10. support bootstrap from fresh SML environment, with syntax of Isabelle/ML or SML; (detail / hgweb)
11. tuned; (detail / hgweb)
12. proper syntax; (detail / hgweb)
13. prefer antiquotations; (detail / hgweb)
14. proper use_thy; (detail / hgweb)
15. support for ML project ROOT file, with imitation of ML "use" commands; (detail / hgweb)
16. tuned; (detail / hgweb)
17. read Pure file dependencies directly from ROOT.ML; (detail / hgweb)
18. tuned output; (detail / hgweb)
19. tuned; (detail / hgweb)

Started by an SCM change