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