#79 (Mar 10, 2016, 11:26:24 PM)

1. merged (detail / hgweb)
2. tuned; (detail / hgweb)
3. tuned; (detail / hgweb)
4. upgrade "isabelle build" to Isabelle/Scala; (detail / hgweb)
5. prefer plain "isabelle" from PATH within Isabelle settings environment; (detail / hgweb)
6. isabelle_process is superseded by "isabelle process" tool;
   tuned tool usage;
   misc updates and tuning of "system" manual; (detail / hgweb)
7. clarified messages, notably on Windows where CPU time of poly.exe is not measured; (detail / hgweb)
8. clarified modules; (detail / hgweb)
9. clarified files; (detail / hgweb)
10. clarified files; (detail / hgweb)

Started by an SCM change