src/Pure/General/markup.scala
changeset 27958 292d78c906b1
child 27970 3dd5fbdf61c4
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/General/markup.scala	Sat Aug 23 19:42:12 2008 +0200
@@ -0,0 +1,15 @@
+/*  Title:      Pure/General/markup.scala
+    ID:         $Id$
+    Author:     Makarius
+
+Common markup elements.
+*/
+
+package isabelle
+
+object Markup {
+  val ROOT = "root"
+  val RAW = "raw"
+  val MALFORMED = "malformed"
+}
+