Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

1. merged
2. support document preparation from already loaded theories;
3. clarified GUI events;
4. clarified GUIs: keep related buttons together;
5. proper program name, e.g. for session "Intro";
6. clarified GUI events: reset everything on session context switch;
7. clarified GUI events: ensure fresh output when switching pages;
8. clarified GUI: avoid odd jumping pages on "Cancel";
9. clarified GUI events;
10. more accurate output: avoid output_body from last run;
11. more accurate output: avoid output_main from last run;
12. removed unused operation from 3f50b24909df;
13. clarified guard: avoid spurious auto builds;
14. automatically build document when selected theories are finished;
15. more accurate Word.capitalize: do not touch name;
16. defer build until document nodes are ready;
17. clarified signature: prefer semantic status;
18. removed obsolete parameter (see 7c23db6b857b);
19. clarified Document_Editor.Session: more explicit types, more robust operations; eliminated await_stable_snapshot in favour of delay_build;
20. more operations;
21. clarified operation (without change of signature!);