src/Pure/PIDE/document.scala
changeset 65471 05e5bffcf1d8
parent 65445 e9e7f5f5794c
child 66040 f826ba18fe08
     1.1 --- a/src/Pure/PIDE/document.scala	Wed Apr 12 21:13:43 2017 +0200
     1.2 +++ b/src/Pure/PIDE/document.scala	Wed Apr 12 22:32:55 2017 +0200
     1.3 @@ -99,6 +99,8 @@
     1.4      {
     1.5        val empty = Name("")
     1.6  
     1.7 +      def loaded_theory(theory: String): Name = Name(theory, "", theory)
     1.8 +
     1.9        object Ordering extends scala.math.Ordering[Name]
    1.10        {
    1.11          def compare(name1: Name, name2: Name): Int = name1.node compare name2.node
    1.12 @@ -114,7 +116,6 @@
    1.13            case _ => false
    1.14          }
    1.15  
    1.16 -      def loaded_theory: Name = Name(theory, "", theory)
    1.17        def is_theory: Boolean = theory.nonEmpty
    1.18  
    1.19        def theory_base_name: String = Long_Name.base_name(theory)