added position, messages;
renamed messages to content, malformed to bad;

--- a/src/Pure/General/markup.scala	Sat Aug 23 23:07:38 2008 +0200
+++ b/src/Pure/General/markup.scala	Sat Aug 23 23:07:39 2008 +0200
@@ -8,8 +8,28 @@
 package isabelle
 
 object Markup {
+
+  /* position */
+
+  val LINE = "line"
+  val COLUMN = "column"
+  val OFFSET = "offset"
+  val END_LINE = "end_line"
+  val END_COLUMN = "end_column"
+  val END_OFFSET = "end_offset"
+  val FILE = "file"
+  val ID = "id"
+
+
+  /* messages */
+
+  val PID = "pid"
+  val SESSION = "session"
+
+
+  /* content */
+
   val ROOT = "root"
   val RAW = "raw"
-  val MALFORMED = "malformed"
+  val BAD = "bad"
 }
-