--- a/src/Pure/PIDE/markup_kind.ML Tue Sep 24 17:57:42 2024 +0200
+++ b/src/Pure/PIDE/markup_kind.ML Tue Sep 24 18:17:39 2024 +0200
@@ -16,6 +16,7 @@
val setup_expression_kind: binding -> theory -> string * theory
val check_expression: Proof.context -> xstring * Position.T -> Markup.T
val setup_expression: binding -> Markup.T
+ val markup_item: Markup.T
val markup_mixfix: Markup.T
val markup_prefix: Markup.T
val markup_postfix: Markup.T
@@ -92,6 +93,8 @@
(* concrete markup *)
+val markup_item = setup_expression (Binding.make ("item", \<^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>));