etc/isar-keywords.el

--- a/etc/isar-keywords.el	Mon Aug 20 18:07:25 2007 +0200
+++ b/etc/isar-keywords.el	Mon Aug 20 18:07:26 2007 +0200
@@ -44,7 +44,6 @@
     "code_const"
     "code_datatype"
     "code_deps"
-    "code_gen"
     "code_instance"
     "code_library"
     "code_module"
@@ -79,6 +78,7 @@
     "enable_pr"
     "end"
     "exit"
+    "export_code"
     "extract"
     "extract_type"
     "finalconsts"
@@ -155,6 +155,7 @@
     "print_locale"
     "print_locales"
     "print_methods"
+    "print_noatp_rules"
     "print_rules"
     "print_simpset"
     "print_statement"
@@ -206,7 +207,6 @@
     "thus"
     "thy_deps"
     "token_translation"
-    "touch_all_thys"
     "touch_child_thys"
     "touch_thy"
     "translations"
@@ -315,12 +315,12 @@
     "cd"
     "class_deps"
     "code_deps"
-    "code_gen"
     "code_thms"
     "commit"
     "disable_pr"
     "display_drafts"
     "enable_pr"
+    "export_code"
     "find_theorems"
     "full_prf"
     "header"
@@ -349,6 +349,7 @@
     "print_locale"
     "print_locales"
     "print_methods"
+    "print_noatp_rules"
     "print_rules"
     "print_simpset"
     "print_statement"
@@ -366,7 +367,6 @@
     "thm"
     "thm_deps"
     "thy_deps"
-    "touch_all_thys"
     "touch_child_thys"
     "touch_thy"
     "typ"