--- a/src/Tools/jEdit/src/jedit/Plugin.scala Tue Jan 20 23:13:54 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/Plugin.scala Tue Jan 27 16:16:55 2009 +0100
@@ -12,7 +12,7 @@
import java.awt.Font
import javax.swing.JScrollPane
-import scala.collection.mutable.HashMap
+import scala.collection.mutable
import isabelle.prover.{Prover, Command}
import isabelle.IsabelleSystem
@@ -69,7 +69,7 @@
// mapping buffer <-> prover
- private val mapping = new HashMap[JEditBuffer, ProverSetup]
+ private val mapping = new mutable.HashMap[JEditBuffer, ProverSetup]
private def install(view: View) {
val buffer = view.getBuffer