--- a/src/Pure/PIDE/markup_kind.ML Sun Sep 22 16:04:44 2024 +0200
+++ b/src/Pure/PIDE/markup_kind.ML Sun Sep 22 16:12:15 2024 +0200
@@ -24,6 +24,7 @@
val markup_type_application: Markup.T
val markup_application: Markup.T
val markup_abstraction: Markup.T
+ val markup_judgment: Markup.T
end;
structure Markup_Kind: MARKUP_KIND =
@@ -101,4 +102,6 @@
val markup_application = setup_notation (Binding.make ("application", \<^here>));
val markup_abstraction = setup_notation (Binding.make ("abstraction", \<^here>));
+val markup_judgment = setup_notation (Binding.make ("judgment", \<^here>));
+
end;