| Tue, 13 Sep 2022 22:36:41 +0200 | wenzelm | more robust adhoc shell script: work with Isabelle_System.export_isabelle_identifier; | changeset | files |
| Tue, 13 Sep 2022 12:30:37 +0000 | haftmann | more concise instance-specific rules on euclidean relation | changeset | files |
| Tue, 13 Sep 2022 18:56:48 +0100 | paulson | merged | changeset | files |
| Tue, 13 Sep 2022 18:56:39 +0100 | paulson | Tidied a few more proofs | changeset | files |
| Sun, 11 Sep 2022 13:27:47 +0100 | paulson | merged | changeset | files |
| Sun, 11 Sep 2022 13:27:39 +0100 | paulson | tidied a few ugly proofs | changeset | files |
| Tue, 13 Sep 2022 11:56:38 +0200 | wenzelm | let rsync re-use ssh connection via control path; | changeset | files |