From ce2413d4ba78cacb8d5e098ed1421456bb811e53 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 28 Sep 2000 15:14:22 +0000
Subject: Moved to use .html instead of .phtml

---
 html/oldnews.html | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

(limited to 'html/oldnews.html')

diff --git a/html/oldnews.html b/html/oldnews.html
index 4078fd73..ab36d1a0 100644
--- a/html/oldnews.html
+++ b/html/oldnews.html
@@ -47,7 +47,7 @@ problem.  Thanks to Mike Squire for sending a patch to fix the fix.
 <p>
 Further improvements are being introduced in the new 3.2 pre-releases,
 see the 
-<a href="develdownload.phtml">development download</a> page, as usual.
+<a href="develdownload.html">development download</a> page, as usual.
 </p>
 <li><b>23rd March 2000</b>
 <p>
@@ -88,7 +88,7 @@ instantiation myself.
 </p>
 <p>
 The HOL support is shipping in the 
-current <a href="develdownload.phtml">development release</a>.
+current <a href="develdownload.html">development release</a>.
 </p>
 </li>
 <li><b>15th February 2000</b>
@@ -116,9 +116,9 @@ month so that everyone can benefit.
 <p>
 In the meantime, please 
 <?php 
-  hlink("feedback.phtml","report any important problems ","Feedback form")?>
+  hlink("feedback.html","report any important problems ","Feedback form")?>
 that you would like to see fixed, and consider trying out 
-the current <a href="devel.phtml">development release</a>.
+the current <a href="devel.html">development release</a>.
 </p>
 <li><b>14th December 1999</b>
 <p>
@@ -138,7 +138,7 @@ Proof General 3.0 is released!
 <p>
 Proof General 3.0 is currently in final testing, and will be released
 in a small number of days.  Please help me with this by testing the
-current <a href="devel.phtml">pre-release</a>, so I can iron out as
+current <a href="devel.html">pre-release</a>, so I can iron out as
 many bugs as possible before making the release.  It's very easy to
 install or upgrade Proof General, so it shouldn't be much effort to
 test it quickly.  Particularly if you're already running an earlier
@@ -159,7 +159,7 @@ code.  Not bad for getting about 4000 lines worth of code in benefit!
 Isabelle 99 was released last week, and Proof General 3.0 should
 be ready for release in the next week or so.  In
 the meantime, please use the current 
-<a href="devel.phtml">pre-release</a>
+<a href="devel.html">pre-release</a>
 for Isabelle 99.
 </p>
 <p>
@@ -172,7 +172,7 @@ support implemented.
 <li><b>21st October 1999</b><br>
  <p>
  See what Proof General 3.0 will look like!
- The <a href="screenshot.phtml">screenshot</a> has been updated.
+ The <a href="screenshot.html">screenshot</a> has been updated.
  </p>
 <li><b>14th October 1999</b><br>
  <p>
@@ -216,7 +216,7 @@ support implemented.
  maintain and improve Coq Proof General, since Patrick Loiseleur 
  can no longer work on it.  
  Support from the Coq community is vital for Proof General to
- be a useful tool there. <a href="feedback.phtml">Please offer to help</a>, 
+ be a useful tool there. <a href="feedback.html">Please offer to help</a>, 
  it needn't be a heavy commitment.
  </p>
 <li><b>13th September 1999</b><br>
@@ -241,7 +241,7 @@ support implemented.
 <li><b>27th August 1999</b><br>
  <p>
  Print pictures from the new 
- <a href="gallery.phtml">gallery</a>
+ <a href="gallery.html">gallery</a>
  of publicity shots of Proof General!
  </p>
 <li><b>24th August 1999</b><br>
-- 
cgit v1.2.3