etc/isar-keywords.el
changeset 22288 c565f33ec70f
parent 22200 d4797b506752
child 22486 d3b6cb2306b6
--- a/etc/isar-keywords.el	Thu Feb 08 18:14:13 2007 +0100
+++ b/etc/isar-keywords.el	Sat Feb 10 09:26:06 2007 +0100
@@ -51,6 +51,7 @@
     "code_moduleprolog"
     "code_monad"
     "code_reserved"
+    "code_thms"
     "code_type"
     "coinductive"
     "coinductive2"
@@ -142,7 +143,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
-    "print_codethms"
+    "print_codesetup"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -249,6 +250,7 @@
     "for"
     "hide_action"
     "hints"
+    "identifier"
     "if"
     "imports"
     "in"
@@ -313,6 +315,7 @@
     "cd"
     "class_deps"
     "code_gen"
+    "code_thms"
     "commit"
     "disable_pr"
     "display_drafts"
@@ -333,7 +336,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
-    "print_codethms"
+    "print_codesetup"
     "print_commands"
     "print_context"
     "print_drafts"