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 43695 5130dfe1b7be
parent 43661 39fdbd814c7f
child 44181 bbce0417236d 
--- a/src/Tools/jEdit/src/isabelle_sidekick.scala	Wed Jul 06 23:11:59 2011 +0200
+++ b/src/Tools/jEdit/src/isabelle_sidekick.scala	Thu Jul 07 13:48:30 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(Symbol.decode(_)).sortWith(_ < _)
                  else cs).filter(_ != word)
               if (ds.isEmpty) null
               else new SideKickCompletion(
isabelle