From 4774ab7be416d1b01e7bf1698d0390c1a25dc2d5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Oct 1998 16:25:52 +0000
Subject: Crudely hacked Isabelle image onto splash screen.

---
 isa/isa.el | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

(limited to 'isa')

diff --git a/isa/isa.el b/isa/isa.el
index ea5d33f0..606dcf91 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -10,6 +10,13 @@
 
 
 (setq proof-tags-support nil)  ; we don't want it, no isatags prog.
+
+;; Add Isabelle image onto splash screen
+(custom-set-variables
+ '(proof-splash-extensions
+   '(list
+     nil
+     (proof-splash-display-image "isabelle_transparent" t))))
 (require 'proof)
 (require 'isa-syntax)
 
@@ -71,9 +78,9 @@ no regular or easily discernable structure."
 ;;; End of a command needs parsing to find, so this is approximate.
 (defvar isa-outline-heading-end-regexp ";[ \t\n]*")
 
-;; 
-(defvar isa-shell-outline-regexp isa-goal-regexp)
-(defvar isa-shell-outline-heading-end-regexp isa-goal-regexp)
+;; FIXME: not sure about this one
+(defvar isa-shell-outline-regexp "\370[ \t]*\\([0-9]+\\)\\.")
+(defvar isa-shell-outline-heading-end-regexp "$")
 
 ;;; ---- end-outline
 
-- 
cgit v1.2.3