1.1 --- a/src/Pure/General/markup.scala	Tue Mar 24 13:20:40 2009 +0100
     1.2 +++ b/src/Pure/General/markup.scala	Tue Mar 24 15:43:13 2009 +0100
     1.3 @@ -91,6 +91,10 @@
     1.4    val ML_COMMENT = "ML_comment"
     1.5    val ML_MALFORMED = "ML_malformed"
     1.6  
     1.7 +  val ML_DEF = "ML_def"
     1.8 +  val ML_REF = "ML_ref"
     1.9 +  val ML_TYPING = "ML_typing"
    1.10 +
    1.11  
    1.12    /* outer syntax */
    1.13