diff options
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 a8c180aa..a2f8cbd2 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.phtml","let us know ","Feedback form")?> +but do <?php hlink("feedback.html","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.phtml","web feedback form","Feedback form")?>. +<?php hlink("feedback.html","web feedback form","Feedback form")?>. Projects should be significant contributions rather than incremental improvements (although we welcome the suggestion of those too). |