diff options
author | Yuchen Pei <id@ypei.org> | 2023-08-21 16:42:27 +1000 |
---|---|---|
committer | Yuchen Pei <id@ypei.org> | 2023-08-21 16:42:27 +1000 |
commit | ffea78e98b6a9c494c0a52f59e6ad1678a6dc445 (patch) | |
tree | 8e09859b1e23e71391e83b45c97bc8b5dfbf2da6 /emacs/.emacs.d/init/ycp-prog.el | |
parent | 0c844c3e9a8e72bd83e370c12eda5cb315ac5d41 (diff) |
Fixing a few things in emacs, adding xdgdef
Emacs: updating the org clock refile so that it refiles all text in
the logbook
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/")) |