# HG changeset patch
# User wenzelm
# Date 1219525659 -7200
# Node ID 3dd5fbdf61c481089514f4043daca220684ba969
# Parent  46d7057b8614b0da626dee7e741608be1c4d8c32
added position, messages;
renamed messages to content, malformed to bad;

diff -r 46d7057b8614 -r 3dd5fbdf61c4 src/Pure/General/markup.scala
--- 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"
 }
-