--- a/etc/isar-keywords-ZF.el Sun Apr 17 19:40:34 2005 +0200
+++ b/etc/isar-keywords-ZF.el Sun Apr 17 19:40:43 2005 +0200
@@ -16,6 +16,7 @@
"ProofGeneral\\.inform_file_retracted"
"ProofGeneral\\.kill_proof"
"ProofGeneral\\.process_pgip"
+ "ProofGeneral\\.redo"
"ProofGeneral\\.restart"
"ProofGeneral\\.try_context_thy_only"
"ProofGeneral\\.undo"
@@ -87,6 +88,7 @@
"method_setup"
"moreover"
"next"
+ "no_syntax"
"nonterminals"
"note"
"obtain"
@@ -224,6 +226,7 @@
"ProofGeneral\\.inform_file_retracted"
"ProofGeneral\\.kill_proof"
"ProofGeneral\\.process_pgip"
+ "ProofGeneral\\.redo"
"ProofGeneral\\.restart"
"ProofGeneral\\.try_context_thy_only"
"ProofGeneral\\.undo"
@@ -335,6 +338,7 @@
"local"
"locale"
"method_setup"
+ "no_syntax"
"nonterminals"
"oracle"
"parse_ast_translation"