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 imports;
authorwenzelm
Fri, 04 Jan 2013 17:33:55 +0100
changeset 50725 226a5b290c85
parent 50724 bf5cc2a06e87
child 50726 27478c11f63c
tuned imports;
src/Tools/jEdit/src/isabelle_sidekick.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/isabelle_sidekick.scala	Fri Jan 04 16:07:48 2013 +0100
+++ b/src/Tools/jEdit/src/isabelle_sidekick.scala	Fri Jan 04 17:33:55 2013 +0100
@@ -20,8 +20,7 @@
 
 import org.gjt.sp.jedit.{Buffer, EditPane, TextUtilities, View}
 import errorlist.DefaultErrorSource
-import sidekick.{SideKickParser, SideKickParsedData, SideKickCompletion,
-  SideKickCompletionPopup, IAsset}
+import sidekick.{SideKickParser, SideKickParsedData, SideKickCompletion, IAsset}
 
 
 object Isabelle_Sidekick
isabelle