From e75ba290328e69c6912d9d0da4ac38f22ef0da62 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 31 Jan 2008 21:50:16 +0000
Subject: Use proof-locate-executable so works out-of-the-box on Windows.

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

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 00ffa3b7..f0d26253 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -10,7 +10,7 @@
 (require 'coq-db)
 
 (defcustom coq-prog-name   ;; da: moved from coq.el since needed here
-     "coqtop"
+  (proof-locate-executable "coqtop.opt" t '("C:/Program Files/Coq/bin"))
    "*Name of program to run as Coq. See `proof-prog-name', which is set from this.
  On Windows with latest Coq package you might need something like:
    C:/Program Files/Coq/bin/coqtop.opt.exe
-- 
cgit v1.2.3