From 50b51bb58741f2ce2b4c98295a00af3461d24538 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 5 Jun 2002 13:21:12 +0000
Subject: Add types_code and friends

---
 isar/isar-keywords.el | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 62ef9497..55d3094b 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -8,6 +8,9 @@
 (defconst isar-keywords-major
   '("\\."
     "\\.\\."
+    "types_code"
+    "consts_code"
+    "generate_code"
     "ML"
     "ML_command"
     "ML_setup"
-- 
cgit v1.2.3