--- a/etc/symbols Tue Jun 23 21:05:59 2009 +0200
+++ b/etc/symbols Tue Jun 23 21:07:39 2009 +0200
@@ -207,7 +207,7 @@
\<bottom> code: 0x0022a5 font: Isabelle
\<top> code: 0x0022a4 font: Isabelle
\<and> code: 0x002227 font: Isabelle abbrev: /\
-\<And> code: 0x0022c0 font: Isabelle abbreb: !!
+\<And> code: 0x0022c0 font: Isabelle abbrev: !!
\<or> code: 0x002228 font: Isabelle abbrev: \/
\<Or> code: 0x0022c1 font: Isabelle abbrev: ??
\<forall> code: 0x002200 font: Isabelle abbrev: !
--- a/src/Pure/Thy/completion.scala Tue Jun 23 21:05:59 2009 +0200
+++ b/src/Pure/Thy/completion.scala Tue Jun 23 21:07:39 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 */