diff options
| author | David Aspinall | 2002-01-15 14:05:00 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-01-15 14:05:00 +0000 |
| commit | 6c8a7016f6f9d5a12f425c4422690f489ce8590e (patch) | |
| tree | b2090cf8679a514c0029acc8d372a743daf18d3f /html/main.html | |
| parent | bb2f58f761b01dc7346ec6aeb1acb776b8a63cb5 (diff) | |
Fix link to feedback page
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> |