From aa55f69270d2fa9bac16a4950132b6a221374fc1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 11 Sep 2002 14:49:00 +0000
Subject: Add comment at end

---
 etc/coq/parsing.v | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/etc/coq/parsing.v b/etc/coq/parsing.v
index 5858922d..be64e62e 100644
--- a/etc/coq/parsing.v
+++ b/etc/coq/parsing.v
@@ -2,8 +2,10 @@
 
   (* nested comment:
 	Since Coq has them, PG ought to be able to deal
-        with them.
-   *)
+        with them.  They work fine in GNU Emacs, but
+        problematical in XEmacs. *)
 *)
 
-Require Logic.
\ No newline at end of file
+Require Logic.
+
+(* Comment at the end here. *)
-- 
cgit v1.2.3