src/Pure/PIDE/isabelle_markup.scala
changeset 48709 719f458cd89e
parent 48016 edbc8e8accd9
child 48710 5b51ccdc8623
     1.1 --- a/src/Pure/PIDE/isabelle_markup.scala	Tue Aug 07 15:19:08 2012 +0200
     1.2 +++ b/src/Pure/PIDE/isabelle_markup.scala	Tue Aug 07 16:34:15 2012 +0200
     1.3 @@ -261,24 +261,6 @@
     1.4        }
     1.5    }
     1.6  
     1.7 -  object Keyword_Decl
     1.8 -  {
     1.9 -    def unapply(props: Properties.T): Option[String] =
    1.10 -      props match {
    1.11 -        case List((FUNCTION, "keyword_decl"), (Markup.NAME, name)) => Some(name)
    1.12 -        case _ => None
    1.13 -      }
    1.14 -  }
    1.15 -  object Command_Decl
    1.16 -  {
    1.17 -    def unapply(props: Properties.T): Option[(String, String)] =
    1.18 -      props match {
    1.19 -        case List((FUNCTION, "command_decl"), (Markup.NAME, name), (Markup.KIND, kind)) =>
    1.20 -          Some((name, kind))
    1.21 -        case _ => None
    1.22 -      }
    1.23 -  }
    1.24 -
    1.25    val Assign_Execs: Properties.T = List((FUNCTION, "assign_execs"))
    1.26    val Removed_Versions: Properties.T = List((FUNCTION, "removed_versions"))
    1.27