From 94de4a61434e5533ae5e9582b8bd21c2dc6aefa9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Oct 1998 16:43:42 +0000
Subject: Fixed top spacing to match other pages.

---
 html/IsaPGscreen.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/html/IsaPGscreen.html b/html/IsaPGscreen.html
index dc2927f6..3553294d 100644
--- a/html/IsaPGscreen.html
+++ b/html/IsaPGscreen.html
@@ -35,6 +35,7 @@
  </TR>
  </TABLE>
 <HR>
+<p>
 This is a picture of Isabelle Proof General running inside XEmacs,
 replaying a simple proof.
 <br>
@@ -55,7 +56,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 15 17:00:37 BST 1998
+Last modified: Thu Oct 15 17:45:47 BST 1998
 <!-- hhmts end -->
   </body>
 </html>
-- 
cgit v1.2.3