| Thu, 07 Mar 2024 23:58:01 +0100 | desharna | merged | changeset | files |
| Thu, 29 Feb 2024 11:18:26 +0100 | desharna | added lemmas reflclp_(less|greater)_eq[simp], rtranclp_(less|greater)_eq[simp], and tranclp_(less|greater|less_eq|greater_eq)[simp] | changeset | files |
| Thu, 07 Mar 2024 18:24:42 +0100 | Fabian Huch | parallelize schedule optimization; | changeset | files |
| Wed, 06 Mar 2024 21:52:58 +0100 | wenzelm | revised NEWS: OCaml / OPAM appears to be fine on arm64-linux, e.g. Ubuntu 22.04; | changeset | files |
| Wed, 06 Mar 2024 17:04:54 +0100 | wenzelm | update to current long-term-support version dotnet-8.0.x; | changeset | files |
| Wed, 06 Mar 2024 14:11:58 +0100 | wenzelm | merged | changeset | files |
| Tue, 05 Mar 2024 23:06:18 +0100 | wenzelm | proper release bundle_name (amending 0e7dd3eaa6e8); | changeset | files |