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;

don't throw an exception when trying to print an error message

eta-expansion done right in "primcorec"

clarified: constructors in the sense of the code generator are not invertible; correct treatment of constructors with same name but different type; moved doubtful comment to corresponding function call

moved

merged

obsolete;

clarified interactive mode, which is relevant for ML prompts;

more careful print_depth on startup;

ignore SIGINT in waiting wrapper process; proper "bash_process.c" and "build" within component;

more robust cleanup; more defensive timing value;

isabelle.Build uses ML_Process directly; isabelle_process is for batch mode only; removed unused feeder (already part of "isabelle console");

tuned;

print timing like lib/scripts/timestop.bash;

prefer explicit locale;

bash process with builtin timing;

elapsed time in milliseconds (cf. Time.now in Poly/ML);

support for timing of the managed process;

tuned;

proper support for RAW_ML_SYSTEM;

tuned signature;