Tue, 12 Sep 2023 13:54:48 +0100 | paulson | A little reorganisation | changeset | files |
Mon, 11 Sep 2023 23:13:23 +0200 | wenzelm | post-release updates; | changeset | files |
Mon, 11 Sep 2023 22:59:34 +0200 | wenzelm | merged | changeset | files |
Mon, 11 Sep 2023 19:31:09 +0200 | wenzelm | Added tag Isabelle2023 for changeset b5f3d1051b13 | changeset | files |
Mon, 11 Sep 2023 19:30:48 +0200 | wenzelm | tuned; | changeset | files |
Mon, 11 Sep 2023 15:59:40 +0200 | wenzelm | misc tuning; | changeset | files |
Sun, 10 Sep 2023 19:31:35 +0200 | wenzelm | documentation for the "Document" panel in Isabelle/jEdit; | changeset | files |