Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated;
authorwenzelm
Sun, 17 Apr 2005 19:40:43 +0200
changeset 15762 13d1ec61bc89
parent 15761 c9561302c74a
child 15763 b901a127ac73
updated;
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- 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"
--- 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"
isabelle