| changeset 34476 | e2b1fb731241 |
| parent 34458 | e2aa32bb73c0 |
| child 34481 | 660c639870a4 |
--- 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}