# HG changeset patch
# User haftmann
# Date 1155019656 -7200
# Node ID ccad73da6f61754b619e7165dbc1720a11503c24
# Parent  5fb92bd3aaeae39bb417813d4cf666841a34e69c
added code_constname keyword

diff -r 5fb92bd3aaea -r ccad73da6f61 etc/isar-keywords-HOL-Nominal.el
--- a/etc/isar-keywords-HOL-Nominal.el	Tue Aug 08 08:20:24 2006 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Tue Aug 08 08:47:36 2006 +0200
@@ -45,6 +45,7 @@
     "code_alias"
     "code_classapp"
     "code_constapp"
+    "code_constname"
     "code_generate"
     "code_library"
     "code_module"
@@ -366,6 +367,7 @@
     "code_alias"
     "code_classapp"
     "code_constapp"
+    "code_constname"
     "code_generate"
     "code_library"
     "code_module"
diff -r 5fb92bd3aaea -r ccad73da6f61 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Tue Aug 08 08:20:24 2006 +0200
+++ b/etc/isar-keywords-ZF.el	Tue Aug 08 08:47:36 2006 +0200
@@ -43,6 +43,7 @@
     "code_alias"
     "code_classapp"
     "code_constapp"
+    "code_constname"
     "code_generate"
     "code_library"
     "code_module"
@@ -352,6 +353,7 @@
     "code_alias"
     "code_classapp"
     "code_constapp"
+    "code_constname"
     "code_generate"
     "code_library"
     "code_module"
diff -r 5fb92bd3aaea -r ccad73da6f61 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Tue Aug 08 08:20:24 2006 +0200
+++ b/etc/isar-keywords.el	Tue Aug 08 08:47:36 2006 +0200
@@ -45,6 +45,7 @@
     "code_alias"
     "code_classapp"
     "code_constapp"
+    "code_constname"
     "code_generate"
     "code_library"
     "code_module"
@@ -387,6 +388,7 @@
     "code_alias"
     "code_classapp"
     "code_constapp"
+    "code_constname"
     "code_generate"
     "code_library"
     "code_module"