etc/isar-keywords.el
changeset 22200 d4797b506752
parent 22084 2fef69700f50
child 22288 c565f33ec70f
--- 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"