From 97b77d0581087e465485c4049f5252949430d1c2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 14 Feb 2006 16:21:04 +0000
Subject: Comments

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

diff --git a/coq/coq.el b/coq/coq.el
index 863cab4f..10fd3e66 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -27,8 +27,9 @@
 
 (defcustom coq-prog-name 
     "coqtop"
-;; On Windows you might need something like:
+;; On Windows with latest Coq package you might need something like:
 ;;  "C:/Program Files/Coq/bin/coqtop.opt.exe"
+;; instead of just "coqtop".  See also coq-prog-env below.
   "*Name of program to run as Coq."
   :type 'string
   :group 'coq)
-- 
cgit v1.2.3