| Tue, 17 Sep 2024 11:00:03 +0200 | wenzelm | tuned comments; | changeset | files |
| Tue, 17 Sep 2024 10:47:08 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 16 Sep 2024 20:44:46 +0200 | wenzelm | more detailed markup; | changeset | files |
| Mon, 16 Sep 2024 19:58:28 +0200 | wenzelm | more formal Markup.expression; | changeset | files |
| Mon, 16 Sep 2024 19:36:20 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 16 Sep 2024 18:59:39 +0200 | wenzelm | clarified name space: no theory qualifier here --- treat like global datatype constructors; | changeset | files |
| Mon, 16 Sep 2024 15:49:36 +0200 | wenzelm | discontinued "isabelle build -k": superseded by admin-tool "isabelle check_keywords"; | changeset | files |