From 2111db37b99d87dd973996c9df1ce6b99ba56d0c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 21 Oct 1999 15:45:29 +0000
Subject: Updated for new screenshot

---
 html/screenshot.phtml | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'html/screenshot.phtml')

diff --git a/html/screenshot.phtml b/html/screenshot.phtml
index 0deeddff..0045db9c 100644
--- a/html/screenshot.phtml
+++ b/html/screenshot.phtml
@@ -3,8 +3,10 @@
   small_header("Screenshot"); 
 ?>
 <p>
-Below is a picture of Isabelle Proof General running inside XEmacs,
-replaying a simple proof.
+Below is a picture of Isabelle Proof General 3.0 running inside XEmacs.
+<br>
+We are replaying a proof in Isar, Isabelle's new proof language
+developed by Markus Wenzel.
 </p>
 <p>
 The top half of the window displays the proof script. 
@@ -17,8 +19,7 @@ sent to the proof process so far.  It cannot be edited.
 The bottom half of the window displays the output from Isabelle
 at each stage of the proof.
 </p>
-<img src="images/IsaPGscreen.jpg" ALT="Isabelle Proof General screenshot">
-
+<img src="images/pg-isar-screenshot.png" ALT="Isabelle Proof General screenshot [png support needed]">
 <?php  
    click_to_go_back();
    footer();
-- 
cgit v1.2.3