# 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}