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;
authorwenzelm
Tue, 15 Apr 2014 00:23:15 +0200
changeset 56583 c49607db182a
parent 56582 f05b7d6ec592
child 56584 9ccbac38bcad
tuned;
src/Tools/jEdit/src/spell_checker.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/spell_checker.scala	Tue Apr 15 00:21:31 2014 +0200
+++ b/src/Tools/jEdit/src/spell_checker.scala	Tue Apr 15 00:23:15 2014 +0200
@@ -21,8 +21,8 @@
 
 import org.gjt.sp.jedit.jEdit
 import org.gjt.sp.jedit.textarea.{JEditTextArea, TextArea}
-import org.gjt.sp.jedit.menu.EnhancedMenuItem;
-import org.gjt.sp.jedit.gui.DynamicContextMenuService;
+import org.gjt.sp.jedit.menu.EnhancedMenuItem
+import org.gjt.sp.jedit.gui.DynamicContextMenuService
 
 
 object Spell_Checker
isabelle