Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/isabelle_sidekick.scala
changeset 43661 39fdbd814c7f
parent 43282 5d294220ca43
child 43695 5130dfe1b7be 
--- a/src/Tools/jEdit/src/isabelle_sidekick.scala	Mon Jul 04 20:18:19 2011 +0200
+++ b/src/Tools/jEdit/src/isabelle_sidekick.scala	Mon Jul 04 22:11:32 2011 +0200
@@ -96,7 +96,7 @@
             case Some((word, cs)) =>
               val ds =
                 (if (Isabelle_Encoding.is_active(buffer))
-                  cs.map(Isabelle.system.symbols.decode(_)).sortWith(_ < _)
+                  cs.map(Isabelle_System.symbols.decode(_)).sortWith(_ < _)
                  else cs).filter(_ != word)
               if (ds.isEmpty) null
               else new SideKickCompletion(
isabelle