src/Tools/jEdit/src/jedit_thy_load.scala
changeset 44953 cdfe42f1267c
parent 44615 a4ff8a787202
child 44963 4662dddc2fd8
     1.1 --- a/src/Tools/jEdit/src/jedit_thy_load.scala	Sat Sep 17 17:05:31 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/jedit_thy_load.scala	Sat Sep 17 17:55:39 2011 +0200
     1.3 @@ -18,21 +18,6 @@
     1.4  
     1.5  class JEdit_Thy_Load extends Thy_Load
     1.6  {
     1.7 -  /* loaded theories provided by prover */
     1.8 -
     1.9 -  private var loaded_theories: Set[String] = Set()
    1.10 -
    1.11 -  override def register_thy(thy_name: String)
    1.12 -  {
    1.13 -    synchronized { loaded_theories += thy_name }
    1.14 -  }
    1.15 -
    1.16 -  override def is_loaded(thy_name: String): Boolean =
    1.17 -    synchronized { loaded_theories.contains(thy_name) }
    1.18 -
    1.19 -
    1.20 -  /* file-system operations */
    1.21 -
    1.22    override def append(dir: String, source_path: Path): String =
    1.23    {
    1.24      val path = source_path.expand