| Fri, 08 Mar 2024 13:05:01 +0100 | wenzelm | more accurate progress.now(), notably for Database_Progress; | changeset | files |
| Fri, 08 Mar 2024 11:09:44 +0100 | wenzelm | update NEWS; | changeset | files |
| Fri, 08 Mar 2024 10:57:59 +0100 | wenzelm | activate E 3.0 after testing by Martin Desharnais, see also db72d9920186 and 788f11af9822; | changeset | files |
| 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 |