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/devel.html | |
| parent | 72faf58cb67c92ce42ebfec399ec2f945c4ec2a7 (diff) | |
Moved to use .html instead of .phtml
Diffstat (limited to 'html/devel.html')
| -rw-r--r-- | html/devel.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/html/devel.html b/html/devel.html index aa418f08..273da3cb 100644 --- a/html/devel.html +++ b/html/devel.html @@ -14,7 +14,7 @@ here. </ul> <ul> <li> -Download the latest <a href="develdownload.phtml">development release: +Download the latest <a href="develdownload.html">development release: <!-- WARNING! Line below automatically edited by makefile. --> <b>ProofGeneral-3.2pre000928</b></a> <!-- end WARNING --> @@ -35,13 +35,13 @@ slightly out of date.<br> <li> If you want to be an "official" developer and access the real CVS repository, -<a href="feedback.phtml">ask here</a>. +<a href="feedback.html">ask here</a>. </li> </ul> <ul> <li> Get involved! -Take a look at the Proof General <a href="projects.phtml">project proposals</a>. +Take a look at the Proof General <a href="projects.html">project proposals</a>. </li> </ul> <ul> @@ -89,7 +89,7 @@ for the <!-- </ul> --> <ul> <li> -<?php hlink("feedback.phtml","Send us a message ","Feedback form")?> +<?php hlink("feedback.html","Send us a message ","Feedback form")?> about any development issues. </li> </ul> |