--- a/src/Tools/jEdit/src/prover/Prover.scala Tue Jan 27 19:41:44 2009 +0100
+++ b/src/Tools/jEdit/src/prover/Prover.scala Tue Jan 27 19:52:56 2009 +0100
@@ -50,7 +50,6 @@
super.+=(entry)
}
}
- def is_command_keyword(s: String): Boolean = command_decls.contains(s)
/* completions */
@@ -178,7 +177,7 @@
}
def set_document(text: Text, path: String) {
- this.document = new ProofDocument(text, this)
+ this.document = new ProofDocument(text, command_decls.contains(_))
process.ML("ThyLoad.add_path " + IsabelleSyntax.encode_string(path))
document.structural_changes += (changes => {