From 879dac9338ef72ae2d627d1d9ff95856086bd108 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 23 Aug 2011 12:47:44 +0000 Subject: Move coq-prog-name back to coq.el --- coq/coq-syntax.el | 12 ------------ coq/coq.el | 12 ++++++++++++ 2 files changed, 12 insertions(+), 12 deletions(-) (limited to 'coq') 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 diff --git a/coq/coq.el b/coq/coq.el index 59fa3c5c..dc78607a 100644 --- a/coq/coq.el +++ b/coq/coq.el @@ -55,6 +55,18 @@ ;; (defun proofstack () (coq-get-span-proofstack (span-at (point) 'type))) ;; End debugging +(defcustom coq-prog-name + (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) + ;; coq-prog-args is the user-set list of arguments to pass to Coq process, ;; see 'defpacustom prog-args' in proof-config for documentation. -- cgit v1.2.3