Tue, 22 Feb 2022 12:36:01 +0100 | blanchet | handle Zipperposition definitions in Isar proof construction | changeset | files |
Tue, 22 Feb 2022 09:58:25 +0100 | blanchet | parse Zipperposition definitions | changeset | files |
Mon, 21 Feb 2022 21:19:45 +0100 | wenzelm | clarified URL; | changeset | files |
Mon, 21 Feb 2022 21:15:05 +0100 | wenzelm | clarified pdf path; | changeset | files |
Mon, 21 Feb 2022 20:50:01 +0100 | wenzelm | HTTP view of Isabelle PDF documentation; | changeset | files |
Mon, 21 Feb 2022 20:31:30 +0100 | wenzelm | clarified signature; | changeset | files |