From 82e95ca907b7be5af78f2458176db7c503cbb9c7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 12:06:56 +0000
Subject: Remove isabelle image from splash screen

---
 isar/isar.el | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'isar')

diff --git a/isar/isar.el b/isar/isar.el
index 9b6581f4..dc716f35 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -8,12 +8,6 @@
 ;; $Id$
 ;;
 
-;; Add Isabelle image onto splash screen
-(setq proof-splash-extensions
- '(list
-   nil
-   (proof-get-image "isabelle_transparent" t)))
-
 (require 'proof)
 
 ;;
-- 
cgit v1.2.3