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 keywords;
authorwenzelm
Wed, 28 Apr 2010 12:23:14 +0200
changeset 36455 30f96b4b108b
parent 36454 f2b5bcc61a8c
child 36456 9fd0f1eacd35
child 36461 e741ba542b61
updated keywords;
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	Wed Apr 28 12:21:55 2010 +0200
+++ b/etc/isar-keywords-ZF.el	Wed Apr 28 12:23:14 2010 +0200
@@ -57,7 +57,7 @@
     "declaration"
     "declare"
     "def"
-    "defaultsort"
+    "default_sort"
     "defer"
     "definition"
     "defs"
@@ -372,7 +372,7 @@
     "datatype"
     "declaration"
     "declare"
-    "defaultsort"
+    "default_sort"
     "definition"
     "defs"
     "extract"
--- a/etc/isar-keywords.el	Wed Apr 28 12:21:55 2010 +0200
+++ b/etc/isar-keywords.el	Wed Apr 28 12:23:14 2010 +0200
@@ -30,10 +30,6 @@
     "arities"
     "assume"
     "atom_decl"
-    "atp_info"
-    "atp_kill"
-    "atp_messages"
-    "atp_minimize"
     "attribute_setup"
     "automaton"
     "ax_specification"
@@ -81,7 +77,7 @@
     "declaration"
     "declare"
     "def"
-    "defaultsort"
+    "default_sort"
     "defer"
     "defer_recdef"
     "definition"
@@ -172,7 +168,6 @@
     "print_abbrevs"
     "print_antiquotations"
     "print_ast_translation"
-    "print_atps"
     "print_attributes"
     "print_binds"
     "print_cases"
@@ -362,10 +357,6 @@
   '("ML_command"
     "ML_val"
     "ProofGeneral\\.pr"
-    "atp_info"
-    "atp_kill"
-    "atp_messages"
-    "atp_minimize"
     "boogie_status"
     "cd"
     "class_deps"
@@ -389,7 +380,6 @@
     "prf"
     "print_abbrevs"
     "print_antiquotations"
-    "print_atps"
     "print_attributes"
     "print_binds"
     "print_cases"
@@ -487,7 +477,7 @@
     "datatype"
     "declaration"
     "declare"
-    "defaultsort"
+    "default_sort"
     "defer_recdef"
     "definition"
     "defs"
isabelle