From ef6b56d6a053fa531ccd865b65f389b192bcd8d9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 22 Feb 2003 17:50:15 +0000
Subject: Updated.

---
 mmm/README.ProofGeneral | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'mmm')

diff --git a/mmm/README.ProofGeneral b/mmm/README.ProofGeneral
index 55a36b36..ad4f9dca 100644
--- a/mmm/README.ProofGeneral
+++ b/mmm/README.ProofGeneral
@@ -2,8 +2,9 @@ The code in this directory is taken from
 
 	http://mmm-mode.sourceforge.net/
 
-This is version 0.4.7.
-No changes have been made for Proof General. 
+This is version 0.4.7.  
+No changes have been made for Proof General.   
+Some files have not be included here.
 
 
 =================================================================
-- 
cgit v1.2.3