Changes

Summary

1. merged
2. merged
3. less aggressive unfolding in tactic
4. merged
5. moved lemmas
6. merged
7. tuned signature;
8. misc tuning and clarification;
9. some support for header and data fields, notably from afp-test;
10. tuned signature;
11. more flexibile formatting; expose representation for free-form formatters;
12. proper calculation;
13. more operations; tuned;
14. more date and time operations from Java 8;
15. proper imports;
16. clarified modules;
17. more operations;
18. added multicore_base option;
19. allow multiple threads configurations;
20. tuned;
21. misc tuning and clarification;
22. clean output dir for fresh rebuild; clarified echo;
23. allow multiline script;
24. clarified sanity checks;
25. clarified modules;
26. historic workaround according to 22630327408b;
27. more thorought update of components;
28. check session name;
29. tuned signature;
30. tuned error;
31. earlier build_history_base: timing properties in log are introduced here;
32. incremental output; tuned;
33. clarified output;
34. clarified heap options;
35. proper ISABELLE_TOOL_JAVA_OPTIONS (as in "isabelle" wrapper);
36. more ambitious default as in former isatest;
37. tuned signature;
38. tuned;
39. more sanity checks;
40. more options for generated settings;
41. more robust build_history_base;
42. more robust;
43. proper log output;
44. clarified command line; clarified result;
45. clarified command-line; init settings and components;
46. more operations;
47. more formal build_history_base;
48. clarified cold-start environment;
49. basic setup for Admin/build_history -- outside of Isabelle environment;
50. clarified: a variant of -i is the default, but its output is not as precise as it might seem;