# HG changeset patch
# User wenzelm
# Date 1199379042 -3600
# Node ID c7aaa3f6f0ac5d208ef85ea78b4b1ddfb59f44f6
# Parent  5d42560eefb8e603a24a2971c585df3bac5825d8
added id property;

diff -r 5d42560eefb8 -r c7aaa3f6f0ac src/Pure/General/markup.ML
--- a/src/Pure/General/markup.ML	Thu Jan 03 17:50:41 2008 +0100
+++ b/src/Pure/General/markup.ML	Thu Jan 03 17:50:42 2008 +0100
@@ -14,6 +14,7 @@
   val none: T
   val properties: (string * string) list -> T -> T
   val nameN: string
+  val idN: string
   val kindN: string
   val internalK: string
   val property_internal: property
@@ -95,6 +96,7 @@
 fun markup_int elem prop = (elem, fn i => (elem, [(prop, Int.toString i)]): T);
 
 val nameN = "name";
+val idN = "id";
 
 
 (* kind *)