Fri, 06 Sep 2019 10:28:29 +0200 more central checkpoint;
wenzelm [Fri, 06 Sep 2019 10:28:29 +0200] rev 70846
more central checkpoint;
Wed, 04 Sep 2019 22:12:44 +0200 disable share_common_data for now (amending 0f8742b5a9e8) -- potentially more robust;
wenzelm [Wed, 04 Sep 2019 22:12:44 +0200] rev 70845
disable share_common_data for now (amending 0f8742b5a9e8) -- potentially more robust;
Wed, 04 Sep 2019 22:01:19 +0200 merged
wenzelm [Wed, 04 Sep 2019 22:01:19 +0200] rev 70844
merged
Wed, 04 Sep 2019 22:00:38 +0200 load theories in stages, to reduce ML heap requirements;
wenzelm [Wed, 04 Sep 2019 22:00:38 +0200] rev 70843
load theories in stages, to reduce ML heap requirements;
Wed, 04 Sep 2019 21:42:11 +0200 more complete graph;
wenzelm [Wed, 04 Sep 2019 21:42:11 +0200] rev 70842
more complete graph;
Wed, 04 Sep 2019 20:05:57 +0200 tuned messages;
wenzelm [Wed, 04 Sep 2019 20:05:57 +0200] rev 70841
tuned messages;
Wed, 04 Sep 2019 11:21:07 +0200 tuned signature;
wenzelm [Wed, 04 Sep 2019 11:21:07 +0200] rev 70840
tuned signature;
Tue, 03 Sep 2019 19:20:22 +0200 clarified signature;
wenzelm [Tue, 03 Sep 2019 19:20:22 +0200] rev 70839
clarified signature;
Tue, 03 Sep 2019 15:55:27 +0200 tuned important special case;
wenzelm [Tue, 03 Sep 2019 15:55:27 +0200] rev 70838
tuned important special case;
Tue, 03 Sep 2019 15:24:04 +0200 tuned signature;
wenzelm [Tue, 03 Sep 2019 15:24:04 +0200] rev 70837
tuned signature;
Tue, 03 Sep 2019 14:58:29 +0200 more dump_checkpoints;
wenzelm [Tue, 03 Sep 2019 14:58:29 +0200] rev 70836
more dump_checkpoints;
Tue, 03 Sep 2019 14:56:43 +0200 clarified signature;
wenzelm [Tue, 03 Sep 2019 14:56:43 +0200] rev 70835
clarified signature;
Tue, 03 Sep 2019 11:32:29 +0200 clarified state variable: avoid extra mutability via Promise;
wenzelm [Tue, 03 Sep 2019 11:32:29 +0200] rev 70834
clarified state variable: avoid extra mutability via Promise;
Wed, 04 Sep 2019 16:34:45 +0100 Removal of the redundant ancestor Continuous_Extension
paulson <lp15@cam.ac.uk> [Wed, 04 Sep 2019 16:34:45 +0100] rev 70833
Removal of the redundant ancestor Continuous_Extension
Wed, 04 Sep 2019 15:27:04 +0100 Half of Brouwer_Fixpoint split off to form a separate theory: Retracts.
paulson <lp15@cam.ac.uk> [Wed, 04 Sep 2019 15:27:04 +0100] rev 70832
Half of Brouwer_Fixpoint split off to form a separate theory: Retracts.
Wed, 04 Sep 2019 14:16:27 +0100 Theory Derivative no longer depends on Path_Connected
paulson <lp15@cam.ac.uk> [Wed, 04 Sep 2019 14:16:27 +0100] rev 70831
Theory Derivative no longer depends on Path_Connected
Mon, 02 Sep 2019 19:44:12 +0200 more explicit type Dump.Session, with context information;
wenzelm [Mon, 02 Sep 2019 19:44:12 +0200] rev 70830
more explicit type Dump.Session, with context information;
Mon, 02 Sep 2019 16:28:09 +0200 proper orientation;
wenzelm [Mon, 02 Sep 2019 16:28:09 +0200] rev 70829
proper orientation;
Mon, 02 Sep 2019 11:46:27 +0200 clarified signature: prefer operations without position;
wenzelm [Mon, 02 Sep 2019 11:46:27 +0200] rev 70828
clarified signature: prefer operations without position;
Mon, 02 Sep 2019 10:41:14 +0200 prefer Theory_Ordering theory names are unique (due to proper session context);
wenzelm [Mon, 02 Sep 2019 10:41:14 +0200] rev 70827
prefer Theory_Ordering theory names are unique (due to proper session context);
Sun, 01 Sep 2019 22:57:25 +0200 clarified signature: full dependency graph;
wenzelm [Sun, 01 Sep 2019 22:57:25 +0200] rev 70826
clarified signature: full dependency graph;
Sat, 31 Aug 2019 21:34:39 +0200 merged
wenzelm [Sat, 31 Aug 2019 21:34:39 +0200] rev 70825
merged
Thu, 29 Aug 2019 17:13:49 +0200 more scalable isabelle dump (and derivatives): mark individual theories to share common data in ML;
wenzelm [Thu, 29 Aug 2019 17:13:49 +0200] rev 70824
more scalable isabelle dump (and derivatives): mark individual theories to share common data in ML;
Thu, 29 Aug 2019 15:43:05 +0200 tuned signature;
wenzelm [Thu, 29 Aug 2019 15:43:05 +0200] rev 70823
tuned signature;
Thu, 29 Aug 2019 19:07:09 +0200 merged
nipkow [Thu, 29 Aug 2019 19:07:09 +0200] rev 70822
merged
Thu, 29 Aug 2019 12:59:10 +0000 more rules for ordered real vector spaces
haftmann [Thu, 29 Aug 2019 12:59:10 +0000] rev 70821
more rules for ordered real vector spaces
Thu, 29 Aug 2019 19:07:00 +0200 simplified proofs
nipkow [Thu, 29 Aug 2019 19:07:00 +0200] rev 70820
simplified proofs
Thu, 29 Aug 2019 14:20:46 +0200 simplified setup
nipkow [Thu, 29 Aug 2019 14:20:46 +0200] rev 70819
simplified setup
Thu, 29 Aug 2019 13:07:56 +0200 tuned proof
nipkow [Thu, 29 Aug 2019 13:07:56 +0200] rev 70818
tuned proof
Wed, 28 Aug 2019 23:19:43 +0200 merged
wenzelm [Wed, 28 Aug 2019 23:19:43 +0200] rev 70817
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 tip