Fri, 04 Oct 2019 16:34:14 +0200 obsolete;
wenzelm [Fri, 04 Oct 2019 16:34:14 +0200] rev 70976
obsolete;
Fri, 04 Oct 2019 16:25:45 +0200 proper replacement for (map_types (K dummyT));
wenzelm [Fri, 04 Oct 2019 16:25:45 +0200] rev 70975
proper replacement for (map_types (K dummyT));
Fri, 04 Oct 2019 15:30:52 +0200 Term_XML.Encode/Decode.term uses Const "typargs";
wenzelm [Fri, 04 Oct 2019 15:30:52 +0200] rev 70974
Term_XML.Encode/Decode.term uses Const "typargs";
Wed, 02 Oct 2019 22:01:04 +0200 prefer atomic edits -- potentially more robust;
wenzelm [Wed, 02 Oct 2019 22:01:04 +0200] rev 70973
prefer atomic edits -- potentially more robust;
Wed, 02 Oct 2019 21:27:51 +0200 clarified signature -- potentially more robust;
wenzelm [Wed, 02 Oct 2019 21:27:51 +0200] rev 70972
clarified signature -- potentially more robust;
Wed, 02 Oct 2019 20:58:09 +0200 just one dump_checkpoint Main -- potentially more robust;
wenzelm [Wed, 02 Oct 2019 20:58:09 +0200] rev 70971
just one dump_checkpoint Main -- potentially more robust;
Wed, 02 Oct 2019 14:45:37 +0200 more robust: avoid update/interrupt of long-running print_consolidation;
wenzelm [Wed, 02 Oct 2019 14:45:37 +0200] rev 70970
more robust: avoid update/interrupt of long-running print_consolidation;
Tue, 01 Oct 2019 20:21:30 +0200 avoid censorship of options, e.g. relevant for Isabelle/MMT to provide its own value;
wenzelm [Tue, 01 Oct 2019 20:21:30 +0200] rev 70969
avoid censorship of options, e.g. relevant for Isabelle/MMT to provide its own value;
Tue, 01 Oct 2019 19:54:42 +0200 consolidate less aggressively: avoid live-lock when PIDE round-trip takes too long (e.g. in complex theory hierarchies);
wenzelm [Tue, 01 Oct 2019 19:54:42 +0200] rev 70968
consolidate less aggressively: avoid live-lock when PIDE round-trip takes too long (e.g. in complex theory hierarchies);
Tue, 01 Oct 2019 19:08:24 +0200 obsolete (see 60abd1e94168);
wenzelm [Tue, 01 Oct 2019 19:08:24 +0200] rev 70967
obsolete (see 60abd1e94168);
Tue, 01 Oct 2019 11:42:23 +0200 more robust after shutdown;
wenzelm [Tue, 01 Oct 2019 11:42:23 +0200] rev 70966
more robust after shutdown;
Tue, 01 Oct 2019 11:29:03 +0200 more sequential access to Session.manager.global_state: avoid minor divergence of tip version;
wenzelm [Tue, 01 Oct 2019 11:29:03 +0200] rev 70965
more sequential access to Session.manager.global_state: avoid minor divergence of tip version;
Mon, 30 Sep 2019 21:01:08 +0200 clarified share_common_data: after finished checkpoint, before next edits;
wenzelm [Mon, 30 Sep 2019 21:01:08 +0200] rev 70964
clarified share_common_data: after finished checkpoint, before next edits;
Mon, 30 Sep 2019 17:28:40 +0200 obsolete (see 030a6baa5cb2 and d14ddb1df52c);
wenzelm [Mon, 30 Sep 2019 17:28:40 +0200] rev 70963
obsolete (see 030a6baa5cb2 and d14ddb1df52c);
Mon, 30 Sep 2019 16:40:35 +0200 support headless_load_limit for more scalable load process;
wenzelm [Mon, 30 Sep 2019 16:40:35 +0200] rev 70962
support headless_load_limit for more scalable load process;
Mon, 30 Sep 2019 13:23:49 +0200 added dump_options: disabled by default;
wenzelm [Mon, 30 Sep 2019 13:23:49 +0200] rev 70961
added dump_options: disabled by default;
Mon, 30 Sep 2019 13:11:22 +0200 tuned message;
wenzelm [Mon, 30 Sep 2019 13:11:22 +0200] rev 70960
tuned message;
Mon, 30 Sep 2019 12:52:16 +0200 clarified incremental loading: requirements based on maximal nodes;
wenzelm [Mon, 30 Sep 2019 12:52:16 +0200] rev 70959
clarified incremental loading: requirements based on maximal nodes;
Mon, 30 Sep 2019 11:36:21 +0200 tuned signature;
wenzelm [Mon, 30 Sep 2019 11:36:21 +0200] rev 70958
tuned signature;
Mon, 30 Sep 2019 11:22:51 +0200 tuned;
wenzelm [Mon, 30 Sep 2019 11:22:51 +0200] rev 70957
tuned;
Sun, 29 Sep 2019 16:44:29 +0200 tuned message;
wenzelm [Sun, 29 Sep 2019 16:44:29 +0200] rev 70956
tuned message;
Sun, 29 Sep 2019 13:29:10 +0200 more explicit type Load_State;
wenzelm [Sun, 29 Sep 2019 13:29:10 +0200] rev 70955
more explicit type Load_State;
Sun, 29 Sep 2019 12:26:43 +0200 more operations -- incremental exploration of reachable nodes;
wenzelm [Sun, 29 Sep 2019 12:26:43 +0200] rev 70954
more operations -- incremental exploration of reachable nodes;
Sat, 28 Sep 2019 12:38:34 +0200 tuned messages (again) -- avoid confusion wrt. total remaining size;
wenzelm [Sat, 28 Sep 2019 12:38:34 +0200] rev 70953
tuned messages (again) -- avoid confusion wrt. total remaining size;
Thu, 26 Sep 2019 21:22:58 +0200 added lemma
nipkow [Thu, 26 Sep 2019 21:22:58 +0200] rev 70952
added lemma
Thu, 26 Sep 2019 15:25:51 +0200 more Phabricator configuration;
wenzelm [Thu, 26 Sep 2019 15:25:51 +0200] rev 70951
more Phabricator configuration;
Thu, 26 Sep 2019 12:24:02 +0100 A little more material from the Fourier AFP entry, and the correction of two very slow proof lines
paulson <lp15@cam.ac.uk> [Thu, 26 Sep 2019 12:24:02 +0100] rev 70950
A little more material from the Fourier AFP entry, and the correction of two very slow proof lines
Wed, 25 Sep 2019 21:39:43 +0200 boot with Phabricator PHP daemon;
wenzelm [Wed, 25 Sep 2019 21:39:43 +0200] rev 70949
boot with Phabricator PHP daemon;
Wed, 25 Sep 2019 20:12:20 +0200 clarified sshd setup: standard service on non-standard port 222, special "vcs" service on standard port 22;
wenzelm [Wed, 25 Sep 2019 20:12:20 +0200] rev 70948
clarified sshd setup: standard service on non-standard port 222, special "vcs" service on standard port 22;
Wed, 25 Sep 2019 19:40:00 +0200 disable lrzcloud1 -- superseded by lrzcloud2;
wenzelm [Wed, 25 Sep 2019 19:40:00 +0200] rev 70947
disable lrzcloud1 -- superseded by lrzcloud2;
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 tip