diff options
Diffstat (limited to 'html/main.html')
| -rw-r--r-- | html/main.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/main.html b/html/main.html index 88ed8a73..3d6e8ea6 100644 --- a/html/main.html +++ b/html/main.html @@ -29,7 +29,7 @@ To see what Proof General looks like in use, have a look at these To download Proof General, visit the <a href="download">download page</a>. To contact the developers, click -<?php hlink("feedback.html","here","Feedback form")?>. +<?php hlink("feedback","here","Feedback form")?>. </p> @@ -140,7 +140,7 @@ for <a href="http://www.cs.utexas.edu/users/moore/acl2">ACL2</a>. These instances of Proof General are functional, but only show a bare fraction of what is possible. We are seeking volunteers to support and improve each of these -(please <a href="feedback.html">send a note to +(please <a href="feedback">send a note to <tt><?php print $project_feedback; ?></tt></a> if you're interested). </p> <p> |