Changes

Summary

1. merged
2. Added tag Isabelle2016-1-RC4 for changeset 49708cffb98d
3. NEWS for e6a3c55b929b;
4. embedded latex has 0 length -- imitating \<^raw> before aa1fe1103ab8;
5. avoid extra space intruding rail diagrams (amending 4854f7ee0987);
6. explicit option editor_generated_input_delay, which is more aggressive by default;
7. clarified NEWS concerning Library/Poly_Deriv
8. made MaSh faster and less likely to hang seemingly forever
9. delay_first for machine generated editor events: avoid starvation, e.g. when operating on big sessions;
10. Added tag Isabelle2016-1-RC3 for changeset 51be997d0698
11. op powr for quickcheck[approximation] (amending 67792e4a5486)
12. skip over inner syntax for indentation;
13. tuned whitespace;
14. tuned;
15. more on "Indentation";
16. more on "Formal scopes and semantic selection";
17. misc tuning and updates;
18. more on JVM heap space;
19. tuned;
20. more on Isar proof language;
21. documentation for Isabelle/Scala tools; tuned;
22. more symbols;
23. avoid import of Complex_Main into Word library (amending 34b7e2da95f6), e.g. to avoid intrusion of const "ii" into theories without complex numbers;
24. more cronjob tasks, using Poly/ML repository version from 13-Nov-2016;
25. optional component setup;
26. clarified msys root; proper copy_files;
27. clarified setup: avoid alternative C compiler tools, e.g. from Homebrew or MacPorts;
28. proper admin tool;
29. tuned output;
30. back to regular Isabelle tool (reverting abc34a149690);
31. tuned;
32. $HOME/.bashrc provides TZ for *all* processes, resulting in proper date for Build_Log.log_date in remote_build_history via ssh (see also fe8f8f88a1d7);
33. trim more thoroughly, e.g. trailing \0 seen on some system;
34. tuned;
35. build sha1 library;
36. proper CONFIG_SITE for msys;
37. clarified platform selection;
38. more robust Windows platform;
39. copy libgmp on Linux;
40. prefer raw Admin tool, without Isabelle settings environment;
41. clarified command-line;
42. no backup of generated stuff;
43. more precise environment (for Windows);
44. proper shell_path for msys inside cygwin;
45. support other bash executable (notably for msys on Windows);
46. proper options; simplified command-line; tuned;
47. build_polyml in Scala;
48. clarified File.move: target directory like File.copy;
49. more logging, to see better when files written;
50. proper cleanup;
51. uniform order for options and args;
52. more robust jedit_auto_resolve: avoid losing events deps_changed() / delay_load.invoke();
53. tuned comment;
54. proper option for "build", not "build_history" (cf. 5ca4ac099e94);
55. tuned;
56. simplified main proof;
57. misc tuning and modernization;
58. recovered Output.writeln for remote build_history (cf. ed8940d6295c), in order to have log files copied and removed;
59. more uniform path syntax, as in ML (see 5a7c919a4ada);
60. unused since 15865e0c5598;
61. added Nunchaku component and tuned Nunchaku integration accordingly
62. back to more elementary result (see 5f49765a25ec): avoid concurrent use of ssh channel;
63. Added tag Isabelle2016-1-RC2 for changeset 2bf4fdcebd49
64. more robust multithreading;
65. documentation of @{undefined} (actually introduced in Isabelle2016);
66. tuned;
67. Scala "\u" notation uses hexadecimal, not octal (amending 00a135c0a17f);
68. HOL-Probability: fix import path in Fin_Map
69. disable CVC4 statistics, and hence crashes upon user interruptions
70. back to stable scala-2.11.8;
71. self_update of components, e.g. for vmnipkow9;
72. updated to scala-2.12.0;
73. tuned
74. more accurate start_line: avoid changing the original command (e.g. 'try', 'sledgehammer');
75. extra newline as for other tools;
76. prefer standard_path for bash arg;
77. ignore interrupts from underlying process, e.g. due to out-of-memory situation in ML_Process (see also build.scala);
78. proper remote repository source;
79. clarified setup_repository: even more uniform pull vs. clone (see also e84cba30d7ff);
80. pull isabelle-release;