--- a/src/Pure/PIDE/markup.scala Tue Aug 03 12:39:29 2021 +0200
+++ b/src/Pure/PIDE/markup.scala Tue Aug 03 13:08:23 2021 +0200
@@ -292,13 +292,25 @@
/* misc entities */
+ val SESSION = "session"
+
val THEORY = "theory"
val CLASS = "class"
+ val LOCALE = "locale"
val TYPE_NAME = "type_name"
+ val CONSTANT = "constant"
+ val AXIOM = "axiom"
+ val FACT = "fact"
+ val ORACLE = "oracle"
+
val FIXED = "fixed"
val CASE = "case"
- val CONSTANT = "constant"
val DYNAMIC_FACT = "dynamic_fact"
+ val LITERAL_FACT = "literal_fact"
+
+ val ATTRIBUTE = "attribute"
+ val METHOD = "method"
+ val METHOD_MODIFIER = "method_modifier"
/* inner syntax */
@@ -321,9 +333,6 @@
val TYPING = "typing"
val CLASS_PARAMETER = "class_parameter"
- val ATTRIBUTE = "attribute"
- val METHOD = "method"
-
/* antiquotations */