aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-syntax.el
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2011-08-23 12:47:44 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2011-08-23 12:47:44 +0000
commit879dac9338ef72ae2d627d1d9ff95856086bd108 (patch)
treeb82150de6133c30bdd3a7e605581d759bdefb5b2 /coq/coq-syntax.el
parenta6027bef486b488753c4a3389ad272b7648bbd09 (diff)
Move coq-prog-name back to coq.el
Diffstat (limited to 'coq/coq-syntax.el')
-rw-r--r--coq/coq-syntax.el12
1 files changed, 0 insertions, 12 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 14979876..27e4668e 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -15,18 +15,6 @@
(defvar coq-goal-command-regexp nil)
(defvar coq-save-command-regexp-strict nil))
-(defcustom coq-prog-name ;; da: moved from coq.el since needed here
- (proof-locate-executable "coqtop" t '("C:/Program Files/Coq/bin"))
- "*Name of program to run as Coq. See `proof-prog-name', set from this.
-On Windows with latest Coq package you might need something like:
- C:/Program Files/Coq/bin/coqtop.opt.exe
-instead of just \"coqtop\".
-This must be a single program name with no arguments; see `coq-prog-args'
-to manually adjust the arguments to the Coq process.
-See also `coq-prog-env' to adjust the environment."
- :type 'string
- :group 'coq)
-
;;; keyword databases