| 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 |
| Wed, 06 Mar 2024 10:39:45 +0100 | blanchet | more multiset lemmas | changeset | files |
| Tue, 27 Feb 2024 13:46:42 +0100 | Simon Wimmer | optional cartouche syntax and proper name printing in atp Isar output | changeset | files |
| Wed, 06 Mar 2024 09:43:25 +0100 | desharna | merged | changeset | files |
| Wed, 06 Mar 2024 09:26:40 +0100 | desharna | removed unused variable | changeset | files |