updated;
authorwenzelm
Sun, 28 Jan 2007 23:29:14 +0100
changeset 22200 d4797b506752
parent 22199 b617ddd200eb
child 22201 6fe46a7259ec
updated;
etc/isar-keywords-HOL-Nominal.el
etc/isar-keywords-ZF.el
etc/isar-keywords.el
--- a/etc/isar-keywords-HOL-Nominal.el	Sun Jan 28 11:52:52 2007 +0100
+++ b/etc/isar-keywords-HOL-Nominal.el	Sun Jan 28 23:29:14 2007 +0100
@@ -178,6 +178,7 @@
     "section"
     "setup"
     "show"
+    "simproc_setup"
     "sorry"
     "specification"
     "subsect"
@@ -433,6 +434,7 @@
     "refute_params"
     "rep_datatype"
     "setup"
+    "simproc_setup"
     "syntax"
     "text"
     "text_raw"
--- a/etc/isar-keywords-ZF.el	Sun Jan 28 11:52:52 2007 +0100
+++ b/etc/isar-keywords-ZF.el	Sun Jan 28 23:29:14 2007 +0100
@@ -164,6 +164,7 @@
     "section"
     "setup"
     "show"
+    "simproc_setup"
     "sorry"
     "subsect"
     "subsection"
@@ -404,6 +405,7 @@
     "realizers"
     "rep_datatype"
     "setup"
+    "simproc_setup"
     "syntax"
     "text"
     "text_raw"
--- a/etc/isar-keywords.el	Sun Jan 28 11:52:52 2007 +0100
+++ b/etc/isar-keywords.el	Sun Jan 28 23:29:14 2007 +0100
@@ -181,6 +181,7 @@
     "section"
     "setup"
     "show"
+    "simproc_setup"
     "sorry"
     "specification"
     "subsect"
@@ -453,6 +454,7 @@
     "refute_params"
     "rep_datatype"
     "setup"
+    "simproc_setup"
     "syntax"
     "text"
     "text_raw"