diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-12-17 10:48:10 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-17 10:48:10 +0000 |
commit | 612e40c64de862e0c98e645f15de1b342b76f9fa (patch) | |
tree | 73fe079b2d6fbf470c77a53d507f098e21179e0b /html | |
parent | 2f67599f934e5a317cbec3e9c926d0952d3bedd1 (diff) |
Link to TOC of documentation html.
Diffstat (limited to 'html')
-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> |