From 6466e08e1a8bc6ba2c956571654765057dd13bde Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 7 Oct 1998 16:14:10 +0000
Subject: Added text logos.  Menu now appears in screenshot.

---
 html/IsaPGscreen.html | 17 +++++++++--------
 1 file changed, 9 insertions(+), 8 deletions(-)

(limited to 'html/IsaPGscreen.html')

diff --git a/html/IsaPGscreen.html b/html/IsaPGscreen.html
index b76a61ef..79a2882f 100644
--- a/html/IsaPGscreen.html
+++ b/html/IsaPGscreen.html
@@ -19,17 +19,15 @@
 <HR>
  <TABLE WIDTH="80%">
  <TR>
- <TD WIDTH="50%"><A HREF="http://www.dcs.ed.ac.uk/proofgen"><IMG SRC="ProofGeneral.jpg" ALT="[ Proof General logo (subject to change!) ]" ></A></TD>
+ <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%">
- <H1>
-  <h1>Proof General</h1>
-  <h3>Isabelle Screenshot</h3>
+  <img src="text_proof.jpg" ALT="PROOF"><br>
+  <img src="text_general.jpg" ALT="GENERAL"><br>
+  <h3>Organize your proof with Emacs!</h3>
  </TR>
  </TABLE>
 <HR>
-<p>
-<img src="IsaPGscreen.jpg">
-<p>
 This is a picture of Isabelle Proof General running inside XEmacs,
 replaying a simple proof.
 <br>
@@ -40,6 +38,9 @@ sent to the proof process so far.  It cannot be edited.
 <br>
 The bottom half of the window displays the output from Isabelle
 at each stage of the proof.
+<p>
+<img src="IsaPGscreen.jpg">
+<p>
     <hr>
      <A HREF="http://validator.w3.org/check?uri=http://www.dcs.ed.ac.uk/proofgen/IsabePGscreen.html;pw;ss"><IMG BORDER=0
      SRC="vh40.gif"
@@ -47,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: Fri Oct  2 16:31:11 BST 1998
+Last modified: Wed Oct  7 15:28:45 BST 1998
 <!-- hhmts end -->
   </body>
 </html>
-- 
cgit v1.2.3