| Sun, 06 Oct 2024 18:34:35 +0200 | wenzelm | support for pretty blocks that are "open" and thus have no impact on formatting, only on markup; | file | diff | annotate |
| Sun, 06 Oct 2024 13:02:33 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| 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; | file | diff | annotate |