aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-syntax.el
diff options
context:
space:
mode:
authorGravatar Hendrik Tews <hendrik@askra.de>2011-04-15 11:47:51 +0000
committerGravatar Hendrik Tews <hendrik@askra.de>2011-04-15 11:47:51 +0000
commit3b5d51c37781b16e74fe7bab2e12c80dc86aa86a (patch)
treeed01668c3829dc695bdc2773e7c8359f88dc1f47 /coq/coq-syntax.el
parent73617c15286def069e3b0a49c37805c42ccb6e56 (diff)
* fix overwriting setq coq-prog-name before loading Proof General
* more complete callback listing in proof-action list doc
Diffstat (limited to 'coq/coq-syntax.el')
-rw-r--r--coq/coq-syntax.el5
1 files changed, 0 insertions, 5 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 5b15cb3a..b95d0345 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -27,11 +27,6 @@ See also `coq-prog-env' to adjust the environment."
:type 'string
:group 'coq)
-;; da: please take care that the compiled version of this file works!
-;; Top-level forms need to be delayed during compile.
-
-(eval-when (load eval)
- (custom-reevaluate-setting 'coq-prog-name))
;;; keyword databases