diff options
| author | David Aspinall | 2001-08-03 13:04:01 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-03 13:04:01 +0000 |
| commit | 9e9f83f0180d9bcd1d232737d8fc5642805e6e41 (patch) | |
| tree | c138c62524cdf80b86112596324752953f959158 /html | |
| parent | 26c41122fb38e60be3ba16f628c75b500a448c45 (diff) | |
Fix screenshot link
Diffstat (limited to 'html')
| -rw-r--r-- | html/main.html | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/html/main.html b/html/main.html index 74a35517..ec891cf3 100644 --- a/html/main.html +++ b/html/main.html @@ -27,7 +27,7 @@ To read more about what Proof General provides, <a href="features">check the features list</a>. To see what Proof General looks like in use, have a look at these -<a href="screenshot.html">screenshots</a>. +<a href="screenshot">screenshots</a>. To download Proof General, visit the <a href="download">download page</a>. To contact the developers, click @@ -147,7 +147,8 @@ seeking volunteers to support and improve each of these Proof General is ready to be customized to new proof assistants. It can be <?php fileshow("ProofGeneral/demoisa/demoisa-easy.el", "very easy"); ?> to get basic support working. -Full documentation on configuration is provided. +Full <a href="ProofGeneral/doc/PG-adapting.pdf">documentation on +configuration</a> is provided. </p> |