Summary
- merged
- tuned;
- tuned;
- upgrade "isabelle build" to Isabelle/Scala;
- prefer plain "isabelle" from PATH within Isabelle settings environment;
- isabelle_process is superseded by "isabelle process" tool; tuned tool usage; misc updates and tuning of "system" manual;
- clarified messages, notably on Windows where CPU time of poly.exe is not measured;
- clarified modules;
- clarified files;
- clarified files;