src/Pure/General/markup.scala

Context.display_names;

/*  Title:      Pure/General/markup.scala
    ID:         $Id$
    Author:     Makarius

Common markup elements.
*/

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 BAD = "bad"
}