#196 (Nov 28, 2016, 12:50:10 AM)

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

Started by an SCM change

This run spent:

• 8 sec waiting;
• 1 hr 7 min build duration;
• 1 hr 7 min total from scheduled to completion.