# HG changeset patch
# User wenzelm
# Date 1232143044 -3600
# Node ID e2b1fb731241cc9cfff4d200e89c2ef086e5708c
# Parent  f963335dbc6bcd4ac9facbb605528159f339a57c
tuned import;

diff -r f963335dbc6b -r e2b1fb731241 src/Tools/jEdit/src/prover/Command.scala
--- a/src/Tools/jEdit/src/prover/Command.scala	Mon Jan 12 20:49:37 2009 +0100
+++ b/src/Tools/jEdit/src/prover/Command.scala	Fri Jan 16 22:57:24 2009 +0100
@@ -13,7 +13,7 @@
 
 import isabelle.proofdocument.Token
 import isabelle.jedit.{Isabelle, Plugin}
-import isabelle.{YXML, XML}
+import isabelle.XML
 
 import sidekick.{SideKickParsedData, IAsset}