src/Pure/General/markup.scala
author wenzelm
Sat Aug 23 19:42:12 2008 +0200 (2008-08-23)
changeset 27958 292d78c906b1
child 27970 3dd5fbdf61c4
permissions -rw-r--r--
Common markup elements.
wenzelm@27958
     1
/*  Title:      Pure/General/markup.scala
wenzelm@27958
     2
    ID:         $Id$
wenzelm@27958
     3
    Author:     Makarius
wenzelm@27958
     4
wenzelm@27958
     5
Common markup elements.
wenzelm@27958
     6
*/
wenzelm@27958
     7
wenzelm@27958
     8
package isabelle
wenzelm@27958
     9
wenzelm@27958
    10
object Markup {
wenzelm@27958
    11
  val ROOT = "root"
wenzelm@27958
    12
  val RAW = "raw"
wenzelm@27958
    13
  val MALFORMED = "malformed"
wenzelm@27958
    14
}
wenzelm@27958
    15