diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-06-11 20:04:23 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-06-11 20:04:23 +0000 |
commit | be3d7f0c302944ef4b0644207460c50d2437ff9f (patch) | |
tree | 5d7a0f97308022151e442eb7a0fa9eb2988390a2 /coq | |
parent | bc88f1d61c047fe46faab566c6abf962eb7a9dec (diff) |
Remove proof-nested-goals-p setting
Diffstat (limited to 'coq')
-rw-r--r-- | coq/coq.el | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -530,7 +530,6 @@ This is specific to coq-mode." proof-kill-goal-command coq-kill-goal-command) (setq proof-goal-command-p 'coq-goal-command-p - proof-nested-goals-p t ;; da: new for 3.4 proof-count-undos-fn 'coq-count-undos proof-find-and-forget-fn 'coq-find-and-forget proof-goal-hyp-fn 'coq-goal-hyp |