From 113a83d751f3fc51fc6fc6655e3ee77f488b2793 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Wed, 3 Feb 1999 15:55:42 +0000
Subject: fixed syntax entry for "_"

---
 coq/coq.el | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index 7eaf7f51..160ec044 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -309,10 +309,7 @@
   (setq proof-mode-for-pbp 'coq-pbp-mode)
 )
 
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;   Configuring proof and pbp mode and setting up various utilities  ;;
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-
+; FIXME: IMHO (tms) this ought to be defined in coq-syntax and not here.
 (defun coq-init-syntax-table ()
   "Set appropriate values for syntax table in current buffer."
 
-- 
cgit v1.2.3