src/Pure/PIDE/isabelle_markup.scala
changeset 46122 1e9ec1a44dfc
parent 46121 30a69cd8a9a0
child 46123 aa5c367ee579
     1.1 --- a/src/Pure/PIDE/isabelle_markup.scala	Thu Jan 05 14:15:37 2012 +0100
     1.2 +++ b/src/Pure/PIDE/isabelle_markup.scala	Thu Jan 05 14:34:18 2012 +0100
     1.3 @@ -160,11 +160,6 @@
     1.4    val MALFORMED_SPAN = "malformed_span"
     1.5  
     1.6  
     1.7 -  /* theory loader */
     1.8 -
     1.9 -  val LOADED_THEORY = "loaded_theory"
    1.10 -
    1.11 -
    1.12    /* timing */
    1.13  
    1.14    val TIMING = "timing"
    1.15 @@ -257,25 +252,31 @@
    1.16  
    1.17    val Ready: Properties.T = List((FUNCTION, "ready"))
    1.18  
    1.19 +  object Loaded_Theory
    1.20 +  {
    1.21 +    def unapply(props: Properties.T): Option[String] =
    1.22 +      props match {
    1.23 +        case List((FUNCTION, "loaded_theory"), (Markup.NAME, name)) => Some(name)
    1.24 +        case _ => None
    1.25 +      }
    1.26 +  }
    1.27 +
    1.28    val Assign_Execs: Properties.T = List((FUNCTION, "assign_execs"))
    1.29    val Removed_Versions: Properties.T = List((FUNCTION, "removed_versions"))
    1.30  
    1.31 -  val INVOKE_SCALA = "invoke_scala"
    1.32    object Invoke_Scala
    1.33    {
    1.34      def unapply(props: Properties.T): Option[(String, String)] =
    1.35        props match {
    1.36 -        case List((FUNCTION, INVOKE_SCALA), (Markup.NAME, name), (ID, id)) => Some((name, id))
    1.37 +        case List((FUNCTION, "invoke_scala"), (Markup.NAME, name), (ID, id)) => Some((name, id))
    1.38          case _ => None
    1.39        }
    1.40    }
    1.41 -
    1.42 -  val CANCEL_SCALA = "cancel_scala"
    1.43    object Cancel_Scala
    1.44    {
    1.45      def unapply(props: Properties.T): Option[String] =
    1.46        props match {
    1.47 -        case List((FUNCTION, CANCEL_SCALA), (ID, id)) => Some(id)
    1.48 +        case List((FUNCTION, "cancel_scala"), (ID, id)) => Some(id)
    1.49          case _ => None
    1.50        }
    1.51    }