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.
non-public representation;
authorwenzelm
Tue, 23 Jun 2009 21:05:51 +0200
changeset 31780 d78e5cff9a9f
parent 31779 68eccca7f51c
child 31789 c8a590599cb5
non-public representation;
src/Pure/Thy/completion.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/completion.scala	Tue Jun 23 21:00:18 2009 +0200
+++ b/src/Pure/Thy/completion.scala	Tue Jun 23 21:05:51 2009 +0200
@@ -68,11 +68,11 @@
 {
   /* representation */
 
-  val words_lex = Scan.Lexicon()
-  val words_map = Map[String, String]()
+  protected val words_lex = Scan.Lexicon()
+  protected val words_map = Map[String, String]()
 
-  val abbrevs_lex = Scan.Lexicon()
-  val abbrevs_map = Map[String, (String, String)]()
+  protected val abbrevs_lex = Scan.Lexicon()
+  protected val abbrevs_map = Map[String, (String, String)]()
 
 
   /* adding stuff */
isabelle