| Tue, 08 Oct 2024 12:10:35 +0200 | wenzelm | more inner-syntax markup; | file | diff | annotate |
| Sun, 06 Oct 2024 22:56:07 +0200 | wenzelm | more inner-syntax markup, without pretty blocks; | file | diff | annotate |
| Sat, 05 Oct 2024 22:24:24 +0200 | wenzelm | more inner-syntax markup; | 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 |
| Sun, 22 Sep 2024 16:12:15 +0200 | wenzelm | more specific markup for "judgment"; | file | diff | annotate |
| Sun, 22 Sep 2024 15:58:55 +0200 | wenzelm | clarified inner syntax markup: use "notation" uniformly; | file | diff | annotate |
| Sun, 22 Sep 2024 15:46:19 +0200 | wenzelm | more uniform treatment of Markup.notation and Markup.expression: manage kinds via context; | file | diff | annotate |
| Sun, 22 Sep 2024 14:41:34 +0200 | wenzelm | clarified modules and signature; | file | diff | annotate | base |