added position, messages;
authorwenzelm
Sat Aug 23 23:07:39 2008 +0200 (2008-08-23)
changeset 279703dd5fbdf61c4
parent 27969 46d7057b8614
child 27971 57dc3bd6f841
added position, messages;
renamed messages to content, malformed to bad;
src/Pure/General/markup.scala
     1.1 --- a/src/Pure/General/markup.scala	Sat Aug 23 23:07:38 2008 +0200
     1.2 +++ b/src/Pure/General/markup.scala	Sat Aug 23 23:07:39 2008 +0200
     1.3 @@ -8,8 +8,28 @@
     1.4  package isabelle
     1.5  
     1.6  object Markup {
     1.7 +
     1.8 +  /* position */
     1.9 +
    1.10 +  val LINE = "line"
    1.11 +  val COLUMN = "column"
    1.12 +  val OFFSET = "offset"
    1.13 +  val END_LINE = "end_line"
    1.14 +  val END_COLUMN = "end_column"
    1.15 +  val END_OFFSET = "end_offset"
    1.16 +  val FILE = "file"
    1.17 +  val ID = "id"
    1.18 +
    1.19 +
    1.20 +  /* messages */
    1.21 +
    1.22 +  val PID = "pid"
    1.23 +  val SESSION = "session"
    1.24 +
    1.25 +
    1.26 +  /* content */
    1.27 +
    1.28    val ROOT = "root"
    1.29    val RAW = "raw"
    1.30 -  val MALFORMED = "malformed"
    1.31 +  val BAD = "bad"
    1.32  }
    1.33 -