diff options
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> |