| Tue, 24 Sep 2024 18:25:36 +0200 | wenzelm | minor performance tuning for blocks without markup; | changeset | files |
| Tue, 24 Sep 2024 18:17:39 +0200 | wenzelm | more markup <expression kind="item"> in Isabelle/Scala, with pro-forma Markup_Kind.setup in Isabelle/ML; | changeset | files |
| Tue, 24 Sep 2024 17:57:42 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 24 Sep 2024 17:41:05 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 24 Sep 2024 17:35:24 +0200 | wenzelm | minor performance tuning: more direct blocks without markup; | changeset | files |
| Tue, 24 Sep 2024 17:31:12 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 24 Sep 2024 17:27:56 +0200 | wenzelm | tuned signature; | changeset | files |