From 5738e39fea05e4f9cfe5f7783c6be1b9184fceab Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sun, 17 Nov 2019 00:33:52 +0900 Subject: [PATCH] Disable proof general's splash screen --- modules/lang/coq/config.el | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el index 086d3648b..ef7ef196f 100644 --- a/modules/lang/coq/config.el +++ b/modules/lang/coq/config.el @@ -9,7 +9,8 @@ ;; tries to load `proof-site'. We prevent this by defining these two variables ;; early, in our own autoloads file. (setq pg-init--script-full-path (locate-library "proof-general") - pg-init--pg-root (file-name-directory pg-init--script-full-path)) + pg-init--pg-root (file-name-directory pg-init--script-full-path) + proof-splash-enable nil) ;;;###package coq