diff options
| author | David Aspinall | 2000-09-28 15:14:22 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-28 15:14:22 +0000 |
| commit | ce2413d4ba78cacb8d5e098ed1421456bb811e53 (patch) | |
| tree | 59fd174214fe68f5da6636e5151dcbdaa2a878ba /html/projects.html | |
| parent | 72faf58cb67c92ce42ebfec399ec2f945c4ec2a7 (diff) | |
Moved to use .html instead of .phtml
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). |