Sun, 14 Aug 2011 11:44:12 -0700 locale-ize some definitions, so perfect_space and heine_borel can inherit from the proper superclasses
huffman [Sun, 14 Aug 2011 11:44:12 -0700] rev 44207
locale-ize some definitions, so perfect_space and heine_borel can inherit from the proper superclasses
Sun, 14 Aug 2011 10:47:47 -0700 locale-ize some constant definitions, so complete_space can inherit from metric_space
huffman [Sun, 14 Aug 2011 10:47:47 -0700] rev 44206
locale-ize some constant definitions, so complete_space can inherit from metric_space
Sun, 14 Aug 2011 10:25:43 -0700 generalize constant 'lim' and limit uniqueness theorems to class t2_space
huffman [Sun, 14 Aug 2011 10:25:43 -0700] rev 44205
generalize constant 'lim' and limit uniqueness theorems to class t2_space
Tue, 16 Aug 2011 07:17:15 +0900 Quotient Package: make quotient_type work with separate set type
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 16 Aug 2011 07:17:15 +0900] rev 44204
Quotient Package: make quotient_type work with separate set type
Mon, 15 Aug 2011 22:31:17 +0200 updated README;
wenzelm [Mon, 15 Aug 2011 22:31:17 +0200] rev 44203
updated README;
Mon, 15 Aug 2011 21:54:32 +0200 touch descendants of edited nodes;
wenzelm [Mon, 15 Aug 2011 21:54:32 +0200] rev 44202
touch descendants of edited nodes; more precise handling of Graph exceptions;
Mon, 15 Aug 2011 21:05:30 +0200 parellel scheduling of node edits and execution;
wenzelm [Mon, 15 Aug 2011 21:05:30 +0200] rev 44201
parellel scheduling of node edits and execution;
Mon, 15 Aug 2011 20:38:16 +0200 tuned error message;
wenzelm [Mon, 15 Aug 2011 20:38:16 +0200] rev 44200
tuned error message;
Mon, 15 Aug 2011 20:19:41 +0200 retrieve imports from document state, with fall-back on theory loader for preloaded theories;
wenzelm [Mon, 15 Aug 2011 20:19:41 +0200] rev 44199
retrieve imports from document state, with fall-back on theory loader for preloaded theories; misc tuning;
Mon, 15 Aug 2011 19:27:55 +0200 explicit check of finished evaluation;
wenzelm [Mon, 15 Aug 2011 19:27:55 +0200] rev 44198
explicit check of finished evaluation;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip