--- a/src/Tools/jEdit/src/prover/Prover.scala Tue Jan 27 18:58:16 2009 +0100
+++ b/src/Tools/jEdit/src/prover/Prover.scala Tue Jan 27 19:27:59 2009 +0100
@@ -46,9 +46,9 @@
def completions = _completions
/* // TODO: ask Makarius to make Interpretation.symbols public (here: read-only as 'symbol_map')
val map = isabelle.jedit.Isabelle.symbols.symbol_map
- for(xsymb <- map.keys) {
+ for (xsymb <- map.keys) {
_completions += xsymb
- if(map(xsymb).get("abbrev").isDefined) _completions += map(xsymb)("abbrev")
+ if (map(xsymb).get("abbrev").isDefined) _completions += map(xsymb)("abbrev")
}
*/
decl_info += (k_v => _completions += k_v._1)