Remove isabelle image from splash screen

2 files changed, 0 insertions, 12 deletions

diff --git a/isa/isa.el b/isa/isa.el
index e133b2bf..eaee515a 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -14,12 +14,6 @@
 ;; -----------------------------------------------------------------
 
 
-;; Add Isabelle image onto splash screen
-(setq proof-splash-extensions
-      '(list
-	nil
-	(proof-get-image "isabelle_transparent" t)))
-
 ;; In case Isa mode was invoked directly or by -*- isa -*- at
 ;; the start of the file, ensure that Isa mode is used from now
 ;; on for .thy and .ML files.  
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)
 
 ;;