From c6408720e79c5e7e6240e4504ab17a39ed926050 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <courtieu@lri.fr>
Date: Mon, 28 Jan 2008 14:36:16 +0000
Subject: Fixed indentation and goal display.

---
 coq/coq-syntax.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'coq/coq-syntax.el')

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index ec17d506..ad51d990 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -844,7 +844,7 @@ Used by `coq-goal-command-p'"
   "Keywords for tacticals in a Coq script.")
 
 
-                                        ; From JF Monin:
+ ;; From JF Monin:
 (defvar coq-reserved
   (append 
    coq-user-reserved-db
-- 
cgit v1.2.3