changeset 27958 | 292d78c906b1 |
child 27970 | 3dd5fbdf61c4 |
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 +