Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned import;
authorwenzelm
Fri, 16 Jan 2009 22:57:24 +0100
changeset 34476 e2b1fb731241
parent 34475 f963335dbc6b
child 34477 e561d0915f28
tuned import;
src/Tools/jEdit/src/prover/Command.scala file | annotate | diff | comparison | revisions 
--- 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}
isabelle