etc/isar-keywords.el
changeset 15762 13d1ec61bc89
parent 15703 727ef1b8b3ee
child 16034 6ccd552ee366
--- 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"