From b33917736ed4061d167b54a024c1013096acae2a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 27 Aug 2010 11:24:20 +0000
Subject: Renamed from mmm/README.mmm-for-ProofGeneral to
 contrib/mmm/README.mmm-for-ProofGeneral

---
 mmm/README.mmm-for-ProofGeneral | 26 --------------------------
 1 file changed, 26 deletions(-)
 delete mode 100644 mmm/README.mmm-for-ProofGeneral

diff --git a/mmm/README.mmm-for-ProofGeneral b/mmm/README.mmm-for-ProofGeneral
deleted file mode 100644
index 346e407b..00000000
--- a/mmm/README.mmm-for-ProofGeneral
+++ /dev/null
@@ -1,26 +0,0 @@
-The code in this directory is taken from  
-
-	http://mmm-mode.sourceforge.net/
-
-This is version 0.4.8.
-
-Some minor changes have been made for Proof General to
-remove compilation warnings.
-
-Some files have not be included here.
-
-
-=================================================================
-
-
-		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