From ffea78e98b6a9c494c0a52f59e6ad1678a6dc445 Mon Sep 17 00:00:00 2001 From: Yuchen Pei Date: Mon, 21 Aug 2023 16:42:27 +1000 Subject: Fixing a few things in emacs, adding xdgdef Emacs: updating the org clock refile so that it refiles all text in the logbook --- emacs/.emacs.d/init/ycp-prog.el | 1 + 1 file changed, 1 insertion(+) (limited to 'emacs/.emacs.d/init/ycp-prog.el') 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/")) -- cgit v1.2.3