# HG changeset patch
# User wenzelm
# Date 1272450194 -7200
# Node ID 30f96b4b108b6227a38589b3ebb3506d49172385
# Parent  f2b5bcc61a8ca2f6fe023637d0553942ad769932
updated keywords;

diff -r f2b5bcc61a8c -r 30f96b4b108b etc/isar-keywords-ZF.el
--- 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"
diff -r f2b5bcc61a8c -r 30f96b4b108b etc/isar-keywords.el
--- 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"