src/Tools/jEdit/src/jedit/isabelle_markup.scala
changeset 42380 9371ea9f91fb
parent 42378 d9fe47d21b41
child 42492 83c57d850049
     1.1 --- a/src/Tools/jEdit/src/jedit/isabelle_markup.scala	Sun Apr 17 21:04:22 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/jedit/isabelle_markup.scala	Sun Apr 17 21:17:45 2011 +0200
     1.3 @@ -173,8 +173,6 @@
     1.4        Markup.TYP -> NULL,
     1.5        Markup.TERM -> NULL,
     1.6        Markup.PROP -> NULL,
     1.7 -      Markup.ATTRIBUTE -> NULL,
     1.8 -      Markup.METHOD -> NULL,
     1.9        // ML syntax
    1.10        Markup.ML_KEYWORD -> KEYWORD1,
    1.11        Markup.ML_DELIMITER -> OPERATOR,