diff options
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-splash.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/generic/proof-splash.el b/generic/proof-splash.el index 4e6cf953..f5e83ee3 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -52,7 +52,6 @@ Gif filename depends on colour depth of display." (proof-splash-display-image "ProofGeneral") nil "Welcome to" - nil (concat proof-assistant " Proof General!") nil) "*List defining splash screen displayed when Proof General is started. |