From da88d02c38e53e3ae9b5f4f625023dc58d6ae472 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 14 Dec 2007 01:24:10 +0000 Subject: Attempt to fix compile problems --- coq/coq.el | 9 --------- 1 file changed, 9 deletions(-) (limited to 'coq/coq.el') diff --git a/coq/coq.el b/coq/coq.el index 78915803..799404ff 100644 --- a/coq/coq.el +++ b/coq/coq.el @@ -25,15 +25,6 @@ ;; (defun proofstack () (coq-get-span-proofstack (span-at (point) 'type))) ;; End debugging -(defcustom coq-prog-name - "coqtop" -;; 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. Important: See `proof-prog-name'." - :type 'string - :group 'coq) - ;; List of arguments to pass to Coq process. Should contain -emacs. ;; -translate will be added automatically to this list if `coq-translate-to-v8' ;; is set. -- cgit v1.2.3