# HG changeset patch
# User wenzelm
# Date 1158599560 -7200
# Node ID 9b7f59c1bdfcd347a8f716f62fa32da178e978ff
# Parent  93ae490fe02cb1c4f26ee5348233d05c18ec595e
updated;

diff -r 93ae490fe02c -r 9b7f59c1bdfc etc/isar-keywords-HOL-Nominal.el
--- a/etc/isar-keywords-HOL-Nominal.el	Mon Sep 18 16:21:24 2006 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Mon Sep 18 19:12:40 2006 +0200
@@ -39,6 +39,7 @@
     "cd"
     "chapter"
     "class"
+    "class_deps"
     "classes"
     "classrel"
     "clear_undos"
@@ -288,6 +289,7 @@
     "ML_command"
     "ProofGeneral\\.call_atp"
     "cd"
+    "class_deps"
     "commit"
     "disable_pr"
     "display_drafts"
diff -r 93ae490fe02c -r 9b7f59c1bdfc etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Mon Sep 18 16:21:24 2006 +0200
+++ b/etc/isar-keywords-ZF.el	Mon Sep 18 19:12:40 2006 +0200
@@ -36,6 +36,7 @@
     "cd"
     "chapter"
     "class"
+    "class_deps"
     "classes"
     "classrel"
     "clear_undos"
@@ -44,12 +45,10 @@
     "code_const"
     "code_constname"
     "code_gen"
-    "code_generate"
     "code_instance"
     "code_library"
     "code_module"
     "code_purge"
-    "code_serialize"
     "code_simtype"
     "code_type"
     "code_typename"
@@ -275,6 +274,7 @@
   '("ML"
     "ML_command"
     "cd"
+    "class_deps"
     "commit"
     "disable_pr"
     "display_drafts"
@@ -358,12 +358,10 @@
     "code_const"
     "code_constname"
     "code_gen"
-    "code_generate"
     "code_instance"
     "code_library"
     "code_module"
     "code_purge"
-    "code_serialize"
     "code_type"
     "code_typename"
     "coinductive"
diff -r 93ae490fe02c -r 9b7f59c1bdfc etc/isar-keywords.el
--- a/etc/isar-keywords.el	Mon Sep 18 16:21:24 2006 +0200
+++ b/etc/isar-keywords.el	Mon Sep 18 19:12:40 2006 +0200
@@ -39,6 +39,7 @@
     "cd"
     "chapter"
     "class"
+    "class_deps"
     "classes"
     "classrel"
     "clear_undos"
@@ -309,6 +310,7 @@
     "ML_command"
     "ProofGeneral\\.call_atp"
     "cd"
+    "class_deps"
     "commit"
     "disable_pr"
     "display_drafts"