| Sat, 10 Sep 2022 16:57:12 +0200 | wenzelm | update for release; | changeset | files |
| Sat, 10 Sep 2022 16:12:52 +0200 | wenzelm | more command-line options; | changeset | files |
| Fri, 09 Sep 2022 21:28:35 +0200 | haftmann | less specialized euclidean relation on int | changeset | files |
| Sat, 10 Sep 2022 15:48:36 +0200 | wenzelm | update to Isabelle2022 and Ubuntu 22.04; | changeset | files |
| Sat, 10 Sep 2022 15:41:44 +0200 | wenzelm | proper comment: Phabricator remains on Ubuntu 20.04, which is still required as build environment for old Mercurial 3.9.2 with Python 2; | changeset | files |
| Sat, 10 Sep 2022 15:18:17 +0200 | wenzelm | more operations: for testing purposes; | changeset | files |