etc/isar-keywords.el

--- a/etc/isar-keywords.el	Wed Apr 13 09:48:41 2005 +0200
+++ b/etc/isar-keywords.el	Wed Apr 13 18:34:22 2005 +0200
@@ -7,7 +7,6 @@
 
 (defconst isar-keywords-major
   '("\\."
-    "\\.\\."
     "ML"
     "ML_command"
     "ML_setup"
@@ -19,6 +18,7 @@
     "ProofGeneral\\.restart"
     "ProofGeneral\\.try_context_thy_only"
     "ProofGeneral\\.undo"
+    "\\.\\."
     "also"
     "apply"
     "apply_end"
@@ -90,6 +90,7 @@
     "method_setup"
     "moreover"
     "next"
+    "no_syntax"
     "nonterminals"
     "note"
     "obtain"
@@ -362,6 +363,7 @@
     "local"
     "locale"
     "method_setup"
+    "no_syntax"
     "nonterminals"
     "oracle"
     "parse_ast_translation"