--- a/src/Pure/PIDE/markup_kind.ML Wed Dec 18 16:03:07 2024 +0100
+++ b/src/Pure/PIDE/markup_kind.ML Wed Dec 18 21:06:55 2024 +0100
@@ -17,6 +17,7 @@
val check_expression: Proof.context -> xstring * Position.T -> Markup.T
val setup_expression: binding -> Markup.T
val markup_item: Markup.T
+ val markup_syntax: Markup.T
val markup_mixfix: Markup.T
val markup_prefix: Markup.T
val markup_postfix: Markup.T
@@ -99,6 +100,8 @@
val markup_item = setup_expression (Binding.make ("item", \<^here>));
+val markup_syntax = setup_expression (Binding.make ("syntax", \<^here>));
+
val markup_mixfix = setup_notation (Binding.make ("mixfix", \<^here>));
val markup_prefix = setup_notation (Binding.make ("prefix", \<^here>));
val markup_postfix = setup_notation (Binding.make ("postfix", \<^here>));