--- a/src/Pure/General/markup.ML Sun Sep 30 16:20:38 2007 +0200
+++ b/src/Pure/General/markup.ML Sun Sep 30 16:20:39 2007 +0200
@@ -15,6 +15,8 @@
val properties: (string * string) list -> T -> T
val nameN: string
val kindN: string
+ val internalK: string
+ val property_internal: property
val lineN: string
val fileN: string
val positionN: string val position: T
@@ -84,8 +86,15 @@
fun markup_int elem prop = (elem, fn i => (elem, [(prop, Int.toString i)]): T);
val nameN = "name";
+
+
+(* kind *)
+
val kindN = "kind";
+val internalK = "internal";
+val property_internal = (kindN, internalK);
+
(* position *)