2019-10-08 wenzelm tuned;
2019-10-08 wenzelm proper treatment of sorts;
2019-10-08 wenzelm tuned app_types: more direct map_proof_types_same;
2019-10-08 wenzelm tuned;
2019-10-09 blanchet generalized parsing, for e.g. Leo-III
2019-10-09 paulson More theorems about limits, including cancellation simprules
2019-10-09 paulson Generalised two results concerning limits from the real numbers to type classes
2019-10-08 haftmann formally augmented corresponding rules for field_simps
2019-10-07 wenzelm clarified option type;
2019-10-07 wenzelm count document nodes via raw file length;
2019-10-07 wenzelm merged
2019-10-07 wenzelm clarified Load_State / load_limit;
2019-10-07 wenzelm clarified Load_State;
2019-10-07 wenzelm discontinued pointless dump_checkpoint and share_common_data -- superseded by base logic image in Isabelle/MMT;
2019-10-07 wenzelm count nodes uniformly: avoid overloaded session;
2019-10-07 wenzelm clarified signature;
2019-10-07 nipkow simplified proof
2019-10-06 wenzelm tuned signature;
2019-10-06 wenzelm clarified signature: more options;
2019-10-06 wenzelm clarified signature: read full session requirements;
2019-10-06 wenzelm clarified signature;
2019-10-06 wenzelm tuned signature;
2019-10-05 wenzelm clarified options -- more scalable;
2019-10-04 wenzelm obsolete;
2019-10-04 wenzelm proper replacement for (map_types (K dummyT));
2019-10-04 wenzelm Term_XML.Encode/Decode.term uses Const "typargs";
2019-10-02 wenzelm prefer atomic edits -- potentially more robust;
2019-10-02 wenzelm clarified signature -- potentially more robust;
2019-10-02 wenzelm just one dump_checkpoint Main -- potentially more robust;
2019-10-02 wenzelm more robust: avoid update/interrupt of long-running print_consolidation;
2019-10-01 wenzelm avoid censorship of options, e.g. relevant for Isabelle/MMT to provide its own value;
2019-10-01 wenzelm consolidate less aggressively: avoid live-lock when PIDE round-trip takes too long (e.g. in complex theory hierarchies);
2019-10-01 wenzelm obsolete (see 60abd1e94168);
2019-10-01 wenzelm more robust after shutdown;
2019-10-01 wenzelm more sequential access to Session.manager.global_state: avoid minor divergence of tip version;
2019-09-30 wenzelm clarified share_common_data: after finished checkpoint, before next edits;
2019-09-30 wenzelm obsolete (see 030a6baa5cb2 and d14ddb1df52c);
2019-09-30 wenzelm support headless_load_limit for more scalable load process;
2019-09-30 wenzelm added dump_options: disabled by default;
2019-09-30 wenzelm tuned message;
2019-09-30 wenzelm clarified incremental loading: requirements based on maximal nodes;
2019-09-30 wenzelm tuned signature;
2019-09-30 wenzelm tuned;
2019-09-29 wenzelm tuned message;
2019-09-29 wenzelm more explicit type Load_State;
2019-09-29 wenzelm more operations -- incremental exploration of reachable nodes;
2019-09-28 wenzelm tuned messages (again) -- avoid confusion wrt. total remaining size;
2019-09-26 nipkow added lemma
2019-09-26 wenzelm more Phabricator configuration;
2019-09-26 paulson A little more material from the Fourier AFP entry, and the correction of two very slow proof lines
2019-09-25 wenzelm boot with Phabricator PHP daemon;
2019-09-25 wenzelm clarified sshd setup: standard service on non-standard port 222, special "vcs" service on standard port 22;
2019-09-25 wenzelm disable lrzcloud1 -- superseded by lrzcloud2;
2019-09-25 nipkow merged
2019-09-25 nipkow replaced new type ('a,'b) tree by old type ('a*'b) tree.
2019-09-25 wenzelm more Phabricator configuration;
(0) -30000 -10000 -3000 -1000 -300 -100 -56 +56 +100 +300 +1000 +3000 +10000 tip