From 7d3d4d53a861a671e487e15aea35f760189a42e8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 17 Dec 1998 17:13:18 +0000
Subject: Updated to use local validator.

---
 html/IsaPGscreen.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/html/IsaPGscreen.html b/html/IsaPGscreen.html
index aca64d8d..124d96ae 100644
--- a/html/IsaPGscreen.html
+++ b/html/IsaPGscreen.html
@@ -50,13 +50,13 @@ at each stage of the proof.
 <img src="IsaPGscreen.jpg" ALT="Isabelle Proof General screenshot">
 <p>
     <hr>
-     <A HREF="http://validator.w3.org/check?uri=http://www.dcs.ed.ac.uk/~proofgen/IsaPGscreen.html;pw;ss"><IMG BORDER=0
+     <A HREF="http://validator.dcs.ed.ac.uk/check?uri=http://www.dcs.ed.ac.uk/~proofgen/IsaPGscreen.html;pw;ss"><IMG BORDER=0
      SRC="vh40.gif"
      ALT="Valid HTML 4.0!" HEIGHT=31 WIDTH=88 ALIGN=right></A>
     <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 Dec 17 10:52:37 GMT 1998
+Last modified: Thu Dec 17 17:17:30 GMT 1998
 <!-- hhmts end -->
   </body>
 </html>
-- 
cgit v1.2.3