Updated for new screenshot

1 files changed, 5 insertions, 4 deletions

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();