Changes

Summary

1. merged
2. Added tag Isabelle2016-RC5 for changeset 45adb8dc84e1
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;
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;
5. tuned;
6. misc tuning;
7. misc tuning and updates;
8. misc tuning and updates;
9. misc tuning;
10. tuned whitespace;
11. more on "Markdown-like text structure";
12. more on 'consider';
13. tuned;
14. more explicit dummy proofs;
15. misc tuning and updates;
16. tuned;
17. clarified old forms;
18. Added tag Isabelle2016-RC4 for changeset f4baefee5776
19. tuned proofs;
20. more on Mac OS X with Retina display;
21. re-init document views for the sake of Text_Overview size;
22. removed unused cancel operation;
23. separate delay_repaint to ensure reactivity, indepently of future_refresh status; clarified delay_refresh: do not cancel already running task, but retry later;
24. suppress ISABELLE_ROOT after init, to avoid conflict with ISABELLE_HOME when folding file names in "isabelle jedit" command-line tool;
25. clarified;
26. recovered handle_resize from 5922db0430f1;
27. preplaying of 'smt' and 'metis' more in sync with actual method
28. updated HOL-specific section w.r.t. datatypes
29. proper markup for formal text;
30. Added tag Isabelle2016-RC3 for changeset 81cbea2babd9
31. tuned NEWS: long-running tasks can still prevent urgent tasks from being started, due to start_execution pri = 0;
32. more on "ML debugging within the Prover IDE";
33. updated to official polyml-5.6;
34. misc tuning and updates;
35. misc tuning and updates;
36. misc tuning;
37. allow single quote within URL;
38. proper try_run for exactly one evaluation of body (amending 91c3aedbfc5e);
39. more thorough syntax_changed: new commands need require new folds;
40. Added tag Isabelle2016-RC2 for changeset 5d513565749e
41. proper nesting: 'qed' needs to close the corresponding 'proof' and goal statement;
42. clarified exception handling;
43. guard sessions that no longer work with SML/NJ -- memory problems;
44. tuned signature; tuned;
45. tuned;
46. tuned;
47. tuned;
48. proper NEWS for this release;
49. more CONTRIBUTORS;
50. tuned;
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;
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;
53. empty abbrevs are removed globally;
54. tuned markup, e.g. relevant for Rendering.tooltip;
55. tuned message;
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;
57. report error on internal channel as well: startup_failure dialog may be too late;
58. clarified errors: more explicit treatment of uninitialized state;
59. check more files;
60. updated header;