Fabian Huch <huch@in.tum.de> [Thu, 27 Mar 2025 10:45:33 +0100] rev 82352
start jobs even if repository is unreachable, e.g. due to high load;
paulson <lp15@cam.ac.uk> [Wed, 26 Mar 2025 21:11:04 +0000] rev 82351
More from Theta_Functions_Library
paulson [Tue, 25 Mar 2025 21:34:36 +0000] rev 82350
merged
paulson <lp15@cam.ac.uk> [Tue, 25 Mar 2025 21:19:26 +0000] rev 82349
More migration from Theta_Functions_Library
desharna [Tue, 25 Mar 2025 17:38:57 +0100] rev 82348
added type annotations
desharna [Tue, 25 Mar 2025 17:11:36 +0100] rev 82347
tuned
desharna [Tue, 25 Mar 2025 15:26:48 +0100] rev 82346
tuned to avoid list traversal and memory allocation
desharna [Tue, 25 Mar 2025 15:24:30 +0100] rev 82345
tuned to avoid list traversal and memory allocation
desharna [Tue, 25 Mar 2025 15:14:08 +0100] rev 82344
tuned to avoid list traversal and memory allocation
desharna [Tue, 25 Mar 2025 13:42:15 +0100] rev 82343
moved command try0 into its own new theory