src/Pure/PIDE/markup.scala

--- a/src/Pure/PIDE/markup.scala	Sun Dec 08 19:05:05 2024 +0100
+++ b/src/Pure/PIDE/markup.scala	Sun Dec 08 20:09:14 2024 +0100
@@ -334,8 +334,11 @@
 
   /* inner syntax */
 
+  val TCLASS = "tclass"
+  val TCONST = "tconst"
   val TFREE = "tfree"
   val TVAR = "tvar"
+  val CONST = "const"
   val FREE = "free"
   val SKOLEM = "skolem"
   val BOUND = "bound"