diff options
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/generic/proof.el b/generic/proof.el index f3b3b276..769459df 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -1,4 +1,4 @@ -;;; proof.el --- Proof General theorem prover interface +;;; proof.el --- Proof General theorem prover interface -*- lexical-binding:t -*- ;; This file is part of Proof General. @@ -33,9 +33,6 @@ (require 'proof-site) ; site/prover config, global vars, autoloads -(unless (or noninteractive (bound-and-true-p byte-compile-current-file)) - (proof-splash-message)) ; welcome the user now. - (require 'proof-utils) ; utilities (require 'proof-config) ; configuration variables (require 'proof-auxmodes) ; auxmode functions |