--- a/src/Pure/PIDE/markup_kind.ML Sun Oct 06 22:56:07 2024 +0200
+++ b/src/Pure/PIDE/markup_kind.ML Tue Oct 08 12:10:35 2024 +0200
@@ -22,6 +22,7 @@
val markup_postfix: Markup.T
val markup_infix: Markup.T
val markup_binder: Markup.T
+ val markup_pattern: Markup.T
val markup_type_literal: Markup.T
val markup_literal: Markup.T
val markup_type_application: Markup.T
@@ -102,6 +103,7 @@
val markup_postfix = setup_notation (Binding.make ("postfix", \<^here>));
val markup_infix = setup_notation (Binding.make ("infix", \<^here>));
val markup_binder = setup_notation (Binding.make ("binder", \<^here>));
+val markup_pattern = setup_notation (Binding.make ("pattern", \<^here>));
val markup_type_literal = setup_notation (Binding.make ("type_literal", \<^here>));
val markup_literal = setup_notation (Binding.make ("literal", \<^here>));