Wed, 08 Nov 2023 11:08:03 +0100 | Fabian Huch | move timing data into scheduler for more efficient heuristics (e.g., with pre-calculated values); | file | diff | annotate |
Fri, 03 Nov 2023 10:30:51 +0100 | wenzelm | prefer Time.scale(), following Isabelle/ML; | file | diff | annotate |
Fri, 03 Nov 2023 10:03:05 +0100 | Fabian Huch | improved build messages; | file | diff | annotate |
Thu, 26 Oct 2023 22:10:22 +0200 | wenzelm | more robust init_database(); | file | diff | annotate |
Thu, 26 Oct 2023 15:38:27 +0200 | wenzelm | clarified names; | file | diff | annotate |
Thu, 26 Oct 2023 11:50:50 +0200 | wenzelm | tuned imports; | file | diff | annotate |
Wed, 18 Oct 2023 20:51:24 +0200 | Fabian Huch | add module for faster scheduled builds; | file | diff | annotate |