diff options
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-splash.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-splash.el b/generic/proof-splash.el index 5e6b95da..19516af4 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -49,7 +49,7 @@ Proof General." nil (proof-get-image "pg-text" t) nil - (proof-get-image "ProofGeneral") + (proof-get-image "ProofGeneral-image") nil "Welcome to" (concat proof-assistant " Proof General!") |