--- a/src/Pure/PIDE/markup.ML Tue Apr 08 13:24:08 2014 +0200
+++ b/src/Pure/PIDE/markup.ML Tue Apr 08 14:15:48 2014 +0200
@@ -63,6 +63,7 @@
val fbreakN: string val fbreak: T
val itemN: string val item: T
val hiddenN: string val hidden: T
+ val system_optionN: string
val theoryN: string
val classN: string
val type_nameN: string
@@ -358,7 +359,9 @@
val (hiddenN, hidden) = markup_elem "hidden";
-(* logical entities *)
+(* formal entities *)
+
+val system_optionN = "system_option";
val theoryN = "theory";
val classN = "class";