awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-08-03 12:27:26 -05:00
Code Issues Packages Projects Releases Wiki Activity

Disable proof general's splash screen

Browse Source
This commit is contained in:
Rudi Grinberg
2019-11-17 00:33:52 +09:00
parent b7044b5f32
commit 5738e39fea
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
modules/lang/coq/config.el
View File

@ -9,7 +9,8 @@
;; tries to load `proof-site'. We prevent this by defining these two variables ;; tries to load `proof-site'. We prevent this by defining these two variables
;; early, in our own autoloads file. ;; early, in our own autoloads file.
(setq pg-init--script-full-path (locate-library "proof-general") (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 ;;;###package coq