From 612e40c64de862e0c98e645f15de1b342b76f9fa Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 17 Dec 1998 10:48:10 +0000
Subject: Link to TOC of documentation html.

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

diff --git a/html/IsaPGscreen.html b/html/IsaPGscreen.html
index 3553294d..aca64d8d 100644
--- a/html/IsaPGscreen.html
+++ b/html/IsaPGscreen.html
@@ -31,7 +31,7 @@
   <img src="bullethole.gif" alt=".">
   <a href="download.html">Download</a>
   <img src="bullethole.gif" alt=".">
-  <a href="ProofGeneral/doc/ProofGeneral.html">Documentation</a>
+  <a href="ProofGeneral/doc/ProofGeneral_toc.html">Documentation</a>
  </TR>
  </TABLE>
 <HR>
@@ -56,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:45:47 BST 1998
+Last modified: Thu Dec 17 10:52:37 GMT 1998
 <!-- hhmts end -->
   </body>
 </html>
-- 
cgit v1.2.3