From f071096e10094886de0110fc48f40bf32713325b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 1 Mar 2000 11:23:52 +0000
Subject: Unify terminology.

---
 html/devel.phtml         | 2 +-
 html/develdownload.phtml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/html/devel.phtml b/html/devel.phtml
index 44a34f71..a55238d0 100644
--- a/html/devel.phtml
+++ b/html/devel.phtml
@@ -7,7 +7,7 @@ users and hackers!
 
 <ul>
 <li>
-Download the current <a href="develdownload.phtml">development release</a>
+Download the latest <a href="develdownload.phtml">development release</a>
  (please <a href="register.phtml">register</a> if you haven't already).
 </li>
 </ul>
diff --git a/html/develdownload.phtml b/html/develdownload.phtml
index b045ba9f..4598524f 100644
--- a/html/develdownload.phtml
+++ b/html/develdownload.phtml
@@ -12,7 +12,7 @@ including forthcoming support for more proof assistants.
 <p>
 Pre-releases of Proof General may be buggy as we add new features and
 experiment with them.  Nonetheless, we welcome bug reports.  But
-please make sure you are using the current pre-release before
+please make sure you are using the latest pre-release before
 reporting problems.
 </p>
 
-- 
cgit v1.2.3