| Wed, 20 Mar 2024 17:30:44 +0100 | Manuel Eberl | HOL-Library: added modulo/congruence for real numbers | changeset | files |
| Wed, 20 Mar 2024 15:19:20 +0100 | Fabian Huch | only print schedule if relevant; | changeset | files |
| Wed, 20 Mar 2024 16:23:26 +0100 | Fabian Huch | remove laziness: no need, and errors during initialization loop with close(); | changeset | files |
| Wed, 20 Mar 2024 16:05:15 +0100 | Manuel Eberl | more general definition of meromorphicity; Weierstraß factorisation theorem | changeset | files |
| Wed, 20 Mar 2024 14:05:15 +0100 | Fabian Huch | always provide build_database_server option in benchmark command; | changeset | files |
| Wed, 20 Mar 2024 13:58:55 +0100 | Fabian Huch | always check if node is defined, e.g. for exists_next operation wit empty schedule; | changeset | files |
| Tue, 19 Mar 2024 13:24:22 +0100 | blanchet | fixed typo | changeset | files |
| Tue, 19 Mar 2024 00:42:09 +0100 | Fabian Huch | disable taskset for now: performance impact is negative; | changeset | files |