| Wed, 07 Feb 2024 11:52:34 +0000 | paulson | Further lemmas concerning complexity and measures | changeset | files |
| Tue, 06 Feb 2024 15:29:10 +0000 | paulson | Correct the definition of a convex function, and updated the proofs | changeset | files |
| Mon, 05 Feb 2024 22:03:43 +0100 | wenzelm | merged; | changeset | files |
| Mon, 05 Feb 2024 21:49:26 +0100 | wenzelm | update to windows_app-20240205, with executables for linux, linux_arm, macos; | changeset | files |
| Mon, 05 Feb 2024 13:03:06 +0100 | wenzelm | omit redundant options; | changeset | files |
| Mon, 05 Feb 2024 12:59:34 +0100 | wenzelm | tuned README; | changeset | files |
| Mon, 05 Feb 2024 12:13:35 +0100 | wenzelm | uniform build of binutils for linux, linux_arm, macos; | changeset | files |
| Fri, 19 Jan 2024 13:56:26 +0100 | Mathias Fleury | fix reconstruction of Alethe's and_pos rule | changeset | files |