From dbe1abdd4e827aa61e3b5ee4eeda9b5e1cc9ae3c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 17 Nov 1999 21:32:54 +0000
Subject: Tweaks

---
 CHANGES | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index f7ab5b75..18e2f227 100644
--- a/CHANGES
+++ b/CHANGES
@@ -16,7 +16,7 @@ Generic Changes
 
 * Demonstration instance of Proof General for Isabelle shows
   how you can get the interface going with a minimum of fuss.
-  It has just 30 simple settings.
+  It has less than 30 simple settings.
 
 * Proof General is now more cany about the queue of commands.
   You can now add more proof commands on the end of the queue,
-- 
cgit v1.2.3