diff options
| author | David Aspinall | 1999-06-24 13:48:46 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-06-24 13:48:46 +0000 |
| commit | 329e8eb479cf729c43ba13465290fece6204b764 (patch) | |
| tree | 8a65a5da5acad1b71063921dd26ab8144385b44a | |
| parent | 017e9392510d504fd57458c08023a809ace47017 (diff) | |
Change of image
| -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 |