From 3a28ccc4d10b5fe6158f8bab766a6c0db5043866 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 1 Mar 2004 17:35:31 +0000
Subject: setq-default -> defconst for module-kinds-table

---
 coq/coq.el | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index 2dc0440b..865eed8b 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -231,8 +231,9 @@
 (replace-string-by-holes-backward-move-point 1 empty-hole-string)
 )
 
-(setq-default module-kinds-table 
-              '(("Module" 1) ("Module Type" 2) ("Declare Module" 3)))
+(defconst module-kinds-table 
+  '(("Module" 1) ("Module Type" 2) ("Declare Module" 3))
+  "Enumerates the different kinds of modules")
 
 (defun coq-insert-module ()
   (interactive)
-- 
cgit v1.2.3