# HG changeset patch
# User wenzelm
# Date 1246045594 -7200
# Node ID fdc1087a970f45d6a3d79e918d55127944ce2dd6
# Parent  7d16987b73dedaa45be119a1415dd2d38c24c730
prover.set_document: plain name, no path for now;

diff -r 7d16987b73de -r fdc1087a970f src/Tools/jEdit/src/jedit/ProverSetup.scala
--- a/src/Tools/jEdit/src/jedit/ProverSetup.scala	Fri Jun 26 21:21:24 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/ProverSetup.scala	Fri Jun 26 21:46:34 2009 +0200
@@ -37,12 +37,9 @@
     prover = new Prover(Isabelle.system, Isabelle.default_logic)
     prover.start() // start actor
     val buffer = view.getBuffer
-    val path = buffer.getPath
 
     theory_view = new TheoryView(view.getTextArea, prover)
-    prover.set_document(theory_view.change_receiver,
-      if (path.startsWith(VFS.PREFIX)) path.substring(VFS.PREFIX.length)
-      else path)
+    prover.set_document(theory_view.change_receiver, buffer.getName)
     theory_view.activate
     val MAX = TheoryView.MAX_CHANGE_LENGTH
     for (i <- 0 to buffer.getLength / MAX) {