diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-08-23 12:47:44 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-08-23 12:47:44 +0000 |
| commit | 879dac9338ef72ae2d627d1d9ff95856086bd108 (patch) | |
| tree | b82150de6133c30bdd3a7e605581d759bdefb5b2 /coq/coq-syntax.el | |
| parent | a6027bef486b488753c4a3389ad272b7648bbd09 (diff) | |
Move coq-prog-name back to coq.el
Diffstat (limited to 'coq/coq-syntax.el')
| -rw-r--r-- | coq/coq-syntax.el | 12 |
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 |