changeset 50725 | 226a5b290c85 |
parent 50566 | b43c4f660320 |
child 51493 | 59d8a1031c00 |
--- 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