From 291296dc24bebc462da68f18eabbc20d296166c6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 17 Nov 1999 20:36:11 +0000
Subject: Another typo

---
 html/news.phtml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'html')

diff --git a/html/news.phtml b/html/news.phtml
index ae3a823f..8aa7dc11 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -80,8 +80,8 @@ support implemented.
  Recently there has been a flurry of work on the next version of Proof
  General.  It has quite a number of improvements (see the <?php
  fileshow("ProofGeneral/CHANGES","CHANGES"); ?> file), made by myself
- and Markus Wenzel.  <br> The next version is aimed to coincide (or
- perhaps pre-empt) the release of Isabelle 99.
+ and Markus Wenzel.  <br> The next version is aimed to coincide 
+ roughly with the release of Isabelle 99.
  </p>
  <p>
  At the moment we <b>urgently need</b> somebody from the Coq world to
-- 
cgit v1.2.3