# HG changeset patch
# User immler@in.tum.de
# Date 1250172115 -7200
# Node ID ab54955c9eeab4cb0b68b0561d05e065f8c77a0b
# Parent  a034cdf55f69305f0f9267b297fc2fe9eebd4c9b
Text is not present any more

diff -r a034cdf55f69 -r ab54955c9eea src/Tools/jEdit/src/prover/Command.scala
--- a/src/Tools/jEdit/src/prover/Command.scala	Thu Aug 13 15:46:32 2009 +0200
+++ b/src/Tools/jEdit/src/prover/Command.scala	Thu Aug 13 16:01:55 2009 +0200
@@ -13,7 +13,7 @@
 
 import scala.collection.mutable
 
-import isabelle.proofdocument.{Text, Token, ProofDocument}
+import isabelle.proofdocument.{Token, ProofDocument}
 import isabelle.jedit.{Isabelle, Plugin}
 import isabelle.XML