Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- clarified share_common_data: after finished checkpoint, before next edits;
- obsolete (see 030a6baa5cb2 and d14ddb1df52c);
- support headless_load_limit for more scalable load process;
- added dump_options: disabled by default;
- tuned message;
- clarified incremental loading: requirements based on maximal nodes;
- tuned signature;
- tuned;
- tuned message;
- more explicit type Load_State;
- more operations -- incremental exploration of reachable nodes;
- tuned messages (again) -- avoid confusion wrt. total remaining size;
The file was modified | src/Pure/PIDE/headless.scala |
The file was modified | src/Pure/PIDE/session.scala |
The file was modified | src/Pure/Tools/dump.scala |
The file was modified | src/Pure/General/graph.ML |
The file was modified | src/Pure/PIDE/document.ML |
The file was modified | src/Pure/Tools/dump.scala |
The file was modified | etc/options |
The file was modified | src/Pure/General/graph.scala |
The file was modified | src/Pure/PIDE/headless.scala |
The file was modified | src/Doc/System/Sessions.thy |
The file was modified | src/Pure/Tools/dump.scala |
The file was modified | src/Pure/PIDE/headless.scala |
The file was modified | src/Pure/PIDE/headless.scala |
The file was modified | src/Pure/PIDE/headless.scala |
The file was modified | src/Pure/PIDE/headless.scala |
The file was modified | src/Pure/PIDE/headless.scala |
The file was modified | src/Pure/PIDE/headless.scala |
The file was modified | src/Pure/General/graph.scala |
The file was modified | src/Pure/PIDE/headless.scala |