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/projects.html | |
| parent | bb2f58f761b01dc7346ec6aeb1acb776b8a63cb5 (diff) | |
Fix link to feedback page
Diffstat (limited to 'html/projects.html')
| -rw-r--r-- | html/projects.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/projects.html b/html/projects.html index ef13c874..a1a6ba8a 100644 --- a/html/projects.html +++ b/html/projects.html @@ -72,7 +72,7 @@ feel free to discuss with the project proposer or on the <p> If you would like to use any of these ideas as a formal project proposal for students at your institution, please feel free -but do <?php hlink("feedback.html","let us know ","Feedback form")?> +but do <?php hlink("feedback","let us know ","Feedback form")?> if some work is begun, to help coordinate efforts. NB: the proposer of the project does not guarantee to be available for formal supervision or intensive help with the project (but it may be @@ -83,7 +83,7 @@ possible to find somebody else to do that). If you would like to submit a project proposal for an improvement or extension of Proof General, please send an email or write a description on the -<?php hlink("feedback.html","web feedback form","Feedback form")?>. +<?php hlink("feedback","web feedback form","Feedback form")?>. Projects should be significant contributions rather than incremental improvements (although we welcome the suggestion of those too). |