From 329e8eb479cf729c43ba13465290fece6204b764 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Jun 1999 13:48:46 +0000
Subject: Change of image

---
 generic/proof-config.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'generic')

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
-- 
cgit v1.2.3