18 months ago more robust: avoid nested transactions (on disjoint tables);
wenzelm [Sat, 15 Jul 2023 20:34:06 +0200] rev 78350
more robust: avoid nested transactions (on disjoint tables);
18 months ago potentially more robust: long-running operation only for build master, not workers;
wenzelm [Sat, 15 Jul 2023 20:08:19 +0200] rev 78349
potentially more robust: long-running operation only for build master, not workers;
18 months ago less ambitions transactions (amending 3f3dcf9f53f1): TRANSACTION_SERIALIZABLE may lead to spurious rollback exceptions;
wenzelm [Sat, 15 Jul 2023 19:55:32 +0200] rev 78348
less ambitions transactions (amending 3f3dcf9f53f1): TRANSACTION_SERIALIZABLE may lead to spurious rollback exceptions;
18 months ago clarified signature: more operations;
wenzelm [Sat, 15 Jul 2023 19:34:48 +0200] rev 78347
clarified signature: more operations;
18 months ago clarified signature: more operations;
wenzelm [Sat, 15 Jul 2023 14:06:53 +0200] rev 78346
clarified signature: more operations;
18 months ago clarified signature;
wenzelm [Sat, 15 Jul 2023 13:38:01 +0200] rev 78345
clarified signature;
18 months ago clarified signature;
wenzelm [Fri, 14 Jul 2023 16:53:39 +0200] rev 78344
clarified signature;
18 months ago clarified signature: follow Store.open_database;
wenzelm [Fri, 14 Jul 2023 14:56:48 +0200] rev 78343
clarified signature: follow Store.open_database;
18 months ago tuned;
wenzelm [Fri, 14 Jul 2023 14:25:53 +0200] rev 78342
tuned;
18 months ago clarified signature;
wenzelm [Fri, 14 Jul 2023 14:21:22 +0200] rev 78341
clarified signature;
18 months ago clarified signature: more uniform SSH.Port_Forwarding;
wenzelm [Fri, 14 Jul 2023 13:31:05 +0200] rev 78340
clarified signature: more uniform SSH.Port_Forwarding;
18 months ago tuned signature;
wenzelm [Fri, 14 Jul 2023 11:11:06 +0200] rev 78339
tuned signature;
18 months ago X = trivial_topology rather than topspace X = {}
paulson <lp15@cam.ac.uk> [Sun, 16 Jul 2023 11:04:59 +0100] rev 78338
X = trivial_topology rather than topspace X = {}
18 months ago merged
paulson [Sat, 15 Jul 2023 23:35:00 +0100] rev 78337
merged
18 months ago trivial_topology
paulson <lp15@cam.ac.uk> [Sat, 15 Jul 2023 23:34:42 +0100] rev 78336
trivial_topology
18 months ago merged;
Lukas Stevens <mail@lukas-stevens.de> [Fri, 14 Jul 2023 15:54:25 +0200] rev 78335
merged;
18 months ago added docs for order method in Orderings;
Lukas Stevens <mail@lukas-stevens.de> [Fri, 14 Jul 2023 15:45:50 +0200] rev 78334
added docs for order method in Orderings; The order method is now tried by try0. This adds some documentation for users of try0 that stumble over the order method
18 months ago News update referring to Analysis
paulson <lp15@cam.ac.uk> [Fri, 14 Jul 2023 14:21:25 +0100] rev 78333
News update referring to Analysis
18 months ago tuned error message;
Fabian Huch <huch@in.tum.de> [Fri, 14 Jul 2023 09:32:44 +0200] rev 78332
tuned error message;
18 months ago more NEWS;
wenzelm [Thu, 13 Jul 2023 14:02:36 +0200] rev 78331
more NEWS;
18 months ago tuned output;
wenzelm [Thu, 13 Jul 2023 13:51:08 +0200] rev 78330
tuned output;
18 months ago tuned output;
wenzelm [Thu, 13 Jul 2023 13:10:40 +0200] rev 78329
tuned output;
18 months ago clarified session_statistics: removed somewhat pointless per-theory statistics;
wenzelm [Thu, 13 Jul 2023 13:04:15 +0200] rev 78328
clarified session_statistics: removed somewhat pointless per-theory statistics;
18 months ago tuned error messages;
Fabian Huch <huch@in.tum.de> [Thu, 13 Jul 2023 10:36:27 +0200] rev 78327
tuned error messages;
18 months ago more TOML formatting functions;
Fabian Huch <huch@in.tum.de> [Thu, 13 Jul 2023 09:51:10 +0200] rev 78326
more TOML formatting functions;
18 months ago merged
paulson [Wed, 12 Jul 2023 23:11:59 +0100] rev 78325
merged
18 months ago Doubled the time limit for HOL-Probability
paulson <lp15@cam.ac.uk> [Wed, 12 Jul 2023 22:28:38 +0100] rev 78324
Doubled the time limit for HOL-Probability
18 months ago merged
paulson [Wed, 12 Jul 2023 18:28:19 +0100] rev 78323
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 tip