#8 (Feb 12, 2016, 11:32:11 PM)

1. merged (detail / hgweb)
2. Added tag Isabelle2016-RC5 for changeset 45adb8dc84e1 (detail / hgweb)
3. invoke perl system with explicit list -- to avoid extra /bin/sh and thus evade potential conflict of /bin/sh -> dash with bash on Debian/Ubuntu; (detail / hgweb)
4. evade a potential conflict of /bin/bash versus /bin/sh -> dash (notably on Ubuntu and Debian) -- note that execvpe does not exist on old glibc on Ubuntu 10.04 LTS, but the environ should be unchanged; (detail / hgweb)
5. tuned; (detail / hgweb)
6. misc tuning; (detail / hgweb)
7. misc tuning and updates; (detail / hgweb)
8. misc tuning and updates; (detail / hgweb)
9. misc tuning; (detail / hgweb)
10. tuned whitespace; (detail / hgweb)
11. more on "Markdown-like text structure"; (detail / hgweb)
12. more on 'consider'; (detail / hgweb)
13. tuned; (detail / hgweb)
14. more explicit dummy proofs; (detail / hgweb)
15. misc tuning and updates; (detail / hgweb)
16. tuned; (detail / hgweb)
17. clarified old forms; (detail / hgweb)
18. Added tag Isabelle2016-RC4 for changeset f4baefee5776 (detail / hgweb)
19. tuned proofs; (detail / hgweb)
20. more on Mac OS X with Retina display; (detail / hgweb)
21. re-init document views for the sake of Text_Overview size; (detail / hgweb)
22. removed unused cancel operation; (detail / hgweb)
23. separate delay_repaint to ensure reactivity, indepently of future_refresh status;
    clarified delay_refresh: do not cancel already running task, but retry later; (detail / hgweb)
24. suppress ISABELLE_ROOT after init, to avoid conflict with ISABELLE_HOME when folding file names in "isabelle jedit" command-line tool; (detail / hgweb)
25. clarified; (detail / hgweb)
26. recovered handle_resize from 5922db0430f1; (detail / hgweb)
27. preplaying of 'smt' and 'metis' more in sync with actual method (detail / hgweb)
28. updated HOL-specific section w.r.t. datatypes (detail / hgweb)
29. proper markup for formal text; (detail / hgweb)
30. Added tag Isabelle2016-RC3 for changeset 81cbea2babd9 (detail / hgweb)
31. tuned NEWS: long-running tasks can still prevent urgent tasks from being started, due to start_execution pri = 0; (detail / hgweb)
32. more on "ML debugging within the Prover IDE"; (detail / hgweb)
33. updated to official polyml-5.6; (detail / hgweb)
34. misc tuning and updates; (detail / hgweb)
35. misc tuning and updates; (detail / hgweb)
36. misc tuning; (detail / hgweb)
37. allow single quote within URL; (detail / hgweb)
38. proper try_run for exactly one evaluation of body (amending 91c3aedbfc5e); (detail / hgweb)
39. more thorough syntax_changed: new commands need require new folds; (detail / hgweb)
40. Added tag Isabelle2016-RC2 for changeset 5d513565749e (detail / hgweb)
41. proper nesting: 'qed' needs to close the corresponding 'proof' and goal statement; (detail / hgweb)
42. clarified exception handling; (detail / hgweb)
43. guard sessions that no longer work with SML/NJ -- memory problems; (detail / hgweb)
44. tuned signature;
    tuned; (detail / hgweb)
45. tuned; (detail / hgweb)
46. tuned; (detail / hgweb)
47. tuned; (detail / hgweb)
48. proper NEWS for this release; (detail / hgweb)
49. more CONTRIBUTORS; (detail / hgweb)
50. tuned; (detail / hgweb)
51. discontinued irregular abbrevs: ".o" counts as word, "+o", "*o", "-o" are occasionally used as ASCII notation, "*o" is in conflict with "(*o" in comments; (detail / hgweb)
52. back to elementary options used in Isabelle2015 for jdk-7 -- none of the intermediate experiments for jdk-8 improved reactivity on particular dual-CPU system, but the problem seems to be absent on common single-CPU systems; (detail / hgweb)
53. empty abbrevs are removed globally; (detail / hgweb)
54. tuned markup, e.g. relevant for Rendering.tooltip; (detail / hgweb)
55. tuned message; (detail / hgweb)
56. more robust initialization: createMenu(_, null) is called early (during EditPane creation), thus it precedes the startup_failure dialog and could crash if PIDE.options are uninitialized; (detail / hgweb)
57. report error on internal channel as well: startup_failure dialog may be too late; (detail / hgweb)
58. clarified errors: more explicit treatment of uninitialized state; (detail / hgweb)
59. check more files; (detail / hgweb)
60. updated header; (detail / hgweb)

Started by an SCM change