diff options
| -rw-r--r-- | generic/proof-config.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 0110538c..39d46862 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1091,8 +1091,7 @@ Proof General." '(list nil nil - (proof-splash-display-image "text_proof" t) - (proof-splash-display-image "text_general" t) + (proof-splash-display-image "pg-text" t) nil (proof-splash-display-image "ProofGeneral") nil |