| Sat, 10 Sep 2022 19:37:33 +0200 | wenzelm | more documentation of 'export_classpath' (session ROOT) and 'scala_build_generated_files' (Isar command); | changeset | files |
| Sat, 10 Sep 2022 16:57:18 +0200 | wenzelm | merged; | changeset | files |
| 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 |