# HG changeset patch
# User wenzelm
# Date 1113759643 -7200
# Node ID 13d1ec61bc891983d8a1fb48ec6e3d57ecd16eea
# Parent  c9561302c74af521425e7f31f2e287516c0291a1
updated;

diff -r c9561302c74a -r 13d1ec61bc89 etc/isar-keywords-ZF.el
--- 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"
diff -r c9561302c74a -r 13d1ec61bc89 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Sun Apr 17 19:40:34 2005 +0200
+++ b/etc/isar-keywords.el	Sun Apr 17 19:40:43 2005 +0200
@@ -7,6 +7,7 @@
 
 (defconst isar-keywords-major
   '("\\."
+    "\\.\\."
     "ML"
     "ML_command"
     "ML_setup"
@@ -15,10 +16,10 @@
     "ProofGeneral\\.inform_file_retracted"
     "ProofGeneral\\.kill_proof"
     "ProofGeneral\\.process_pgip"
+    "ProofGeneral\\.redo"
     "ProofGeneral\\.restart"
     "ProofGeneral\\.try_context_thy_only"
     "ProofGeneral\\.undo"
-    "\\.\\."
     "also"
     "apply"
     "apply_end"
@@ -250,6 +251,7 @@
     "ProofGeneral\\.inform_file_retracted"
     "ProofGeneral\\.kill_proof"
     "ProofGeneral\\.process_pgip"
+    "ProofGeneral\\.redo"
     "ProofGeneral\\.restart"
     "ProofGeneral\\.try_context_thy_only"
     "ProofGeneral\\.undo"