From 70e06de9fd65980edb7b645a9641f7447de107cf Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 8 Aug 2002 07:23:14 +0000
Subject: proof-splash-display-image -> proof-get-image; generalise for xpm
 images.

---
 isar/isar.el | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'isar')

diff --git a/isar/isar.el b/isar/isar.el
index ee5ef811..4d08f5b3 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -9,11 +9,10 @@
 ;;
 
 ;; Add Isabelle image onto splash screen
-(customize-set-variable
- 'proof-splash-extensions
+(setq proof-splash-extensions
  '(list
    nil
-   (proof-splash-display-image "isabelle_transparent" t)))
+   (proof-get-image "isabelle_transparent" t)))
 
 (require 'proof)
 
-- 
cgit v1.2.3