diff options
Diffstat (limited to 'emacs/.emacs.d/init/ycp-prog.el')
| -rw-r--r-- | emacs/.emacs.d/init/ycp-prog.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/emacs/.emacs.d/init/ycp-prog.el b/emacs/.emacs.d/init/ycp-prog.el index 7dc2f92..84ac0d2 100644 --- a/emacs/.emacs.d/init/ycp-prog.el +++ b/emacs/.emacs.d/init/ycp-prog.el @@ -435,6 +435,7 @@ (my-package proof-general (:install t) (:delay 60) + (setq proof-splash-enable nil) (setq coq-prog-name "/usr/bin/coqtop") (setq coq-compiler "~/.opam/default/bin/coqc") (setq coq-prog-env '("PATH=/usr/bin/:$HOME/.opam/default/bin/")) |