From 244f4295362c2896c1644c66a927d9388c3e9643 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 9 Oct 1998 13:20:51 +0000
Subject: Changed banner to use gif files for text.

---
 html/IsaPGscreen.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'html')

diff --git a/html/IsaPGscreen.html b/html/IsaPGscreen.html
index 84518259..a3d98db4 100644
--- a/html/IsaPGscreen.html
+++ b/html/IsaPGscreen.html
@@ -22,8 +22,8 @@
  <TD WIDTH="50%"><A HREF="http://www.dcs.ed.ac.uk/~proofgen/"><IMG
  SRC="ProofGeneral.jpg" ALT="[ Proof General logo ]" ></A></TD>
  <TD WIDTH="50%">
-  <img src="text_proof.jpg" ALT="PROOF"><br>
-  <img src="text_general.jpg" ALT="GENERAL"><br>
+  <img src="text_proof.gif" ALT="PROOF"><br>
+  <img src="text_general.gif" ALT="GENERAL"><br>
   <h3>Organize your proof with Emacs!</h3>
  </TR>
  </TABLE>
@@ -48,7 +48,7 @@ at each stage of the proof.
     <address><a href="mailto:proofgen@dcs.ed.ac.uk">Proof General maintainer</a></address>
 <!-- Created: Fri Oct  2 16:18:24 BST 1998 -->
 <!-- hhmts start -->
-Last modified: Thu Oct  8 15:51:02 BST 1998
+Last modified: Fri Oct  9 14:22:02 BST 1998
 <!-- hhmts end -->
   </body>
 </html>
-- 
cgit v1.2.3