Mention adding MMM mode

1 files changed, 8 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 2305618a..2c1d8055 100644
--- a/CHANGES
+++ b/CHANGES
@@ -8,6 +8,14 @@
 
 * Summary of Changes for Proof General 3.5pre from 3.4
 
+*** Bundling and configuration for Multiple Modes (MMM-Mode)
+
+    MMM mode allows submodes to be used in the same file.
+    See http://mmm-mode.sourceforge.net/.
+    At present it is configured for Isar, to allow LaTeX and
+    sml-mode to be used inside Isar scripts.
+
+
 ** GNU Emacs compatibility, simplified font-lock, handling nested comments
 
 *** Numerous improvements, thanks due to Stefan Monnier.