Common markup elements.
authorwenzelm
Sat Aug 23 19:42:12 2008 +0200 (2008-08-23 ago)
changeset 27958292d78c906b1
parent 27957 1b25b1a7a529
child 27959 d6a4d7b013f7
Common markup elements.
src/Pure/General/markup.scala
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Pure/General/markup.scala	Sat Aug 23 19:42:12 2008 +0200
     1.3 @@ -0,0 +1,15 @@
     1.4 +/*  Title:      Pure/General/markup.scala
     1.5 +    ID:         $Id$
     1.6 +    Author:     Makarius
     1.7 +
     1.8 +Common markup elements.
     1.9 +*/
    1.10 +
    1.11 +package isabelle
    1.12 +
    1.13 +object Markup {
    1.14 +  val ROOT = "root"
    1.15 +  val RAW = "raw"
    1.16 +  val MALFORMED = "malformed"
    1.17 +}
    1.18 +