From 82ec8a535f3c3bb2c9cce4c715ded745085d25d8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 17 Feb 2003 23:06:06 +0000
Subject: Mention adding MMM mode

---
 CHANGES | 8 ++++++++
 1 file changed, 8 insertions(+)

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.
-- 
cgit v1.2.3