diff options
-rw-r--r-- | html/IsaPGscreen.html | 4 |
1 files 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> |