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/Pure/Thy/completion.scala
changeset 46712 8650d9a95736
parent 46625 630542c79604
child 53251 7facc08da806 
--- a/src/Pure/Thy/completion.scala	Mon Feb 27 16:56:25 2012 +0100
+++ b/src/Pure/Thy/completion.scala	Mon Feb 27 17:13:25 2012 +0100
@@ -40,7 +40,7 @@
   }
 }
 
-class Completion private(
+final class Completion private(
   words_lex: Scan.Lexicon = Scan.Lexicon.empty,
   words_map: Map[String, String] = Map.empty,
   abbrevs_lex: Scan.Lexicon = Scan.Lexicon.empty,
isabelle