From db3cb92031f897dd0df1275f71b558b1e62ea793 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 20 Aug 1999 18:46:08 +0000
Subject: Admit that unstable means bugs.

---
 html/download.phtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html')

diff --git a/html/download.phtml b/html/download.phtml
index 76e0b78e..c28641ff 100644
--- a/html/download.phtml
+++ b/html/download.phtml
@@ -107,7 +107,7 @@ any problems, suggestions, or patches.
 <!-- End Warning. -->
 
 <p>
-This pre-release of Proof General may be unstable as new
+This pre-release of Proof General may be buggy as new
 features are added and experimented with.  
 <br>
 Check the 
-- 
cgit v1.2.3