From 28981d917a71ef03cc3d11f995ee420d0bd64d0a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 17 Feb 2003 23:05:19 +0000
Subject: New files.

---
 mmm/ProofGeneral.txt | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 mmm/ProofGeneral.txt

diff --git a/mmm/ProofGeneral.txt b/mmm/ProofGeneral.txt
new file mode 100644
index 00000000..55a36b36
--- /dev/null
+++ b/mmm/ProofGeneral.txt
@@ -0,0 +1,22 @@
+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. 
+
+
+=================================================================
+
+
+		MMM Mode for Emacs
+
+MMM Mode is an emacs add-on package providing a minor mode that allows
+Multiple Major Modes to coexist in one buffer. It is particularly
+well-suited to editing embedded code or code that generates other
+code, such as Mason or Embperl server-side Perl code, or HTML output
+by CGI scripts. 
+
+It is written and maintained by Michael Abraham Shulman .
+
+
-- 
cgit v1.2.3