# HG changeset patch
# User wenzelm
# Date 1219513332 -7200
# Node ID 292d78c906b183f190d830d43895873785f8b880
# Parent  1b25b1a7a529a42e850153857eca97f47621bb05
Common markup elements.

diff -r 1b25b1a7a529 -r 292d78c906b1 src/Pure/General/markup.scala
--- /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"
+}
+