| Sun, 10 Sep 2023 19:31:35 +0200 | wenzelm | documentation for the "Document" panel in Isabelle/jEdit; | changeset | files |
| Sat, 09 Sep 2023 19:26:08 +0100 | paulson | Loads of new material related to porting the Euler Polyhedron Formula from HOL Light | changeset | files |
| Sat, 09 Sep 2023 17:18:52 +0100 | paulson | merged | changeset | files |
| Sat, 26 Aug 2023 11:36:40 +0100 | paulson | merged | changeset | files |
| Sat, 26 Aug 2023 11:36:25 +0100 | paulson | tidying up old apply-style proofs | changeset | files |
| Thu, 07 Sep 2023 16:53:57 +0200 | Kevin Kappelmann | allow higher-order unification of open terms (reviewed by Larry Paulson) | changeset | files |
| Wed, 06 Sep 2023 20:51:45 +0200 | wenzelm | merged | changeset | files |