Updated.

1 files changed, 8 insertions, 7 deletions

diff --git a/CHANGES b/CHANGES
index 8d8a030e..7cb64b15 100644
--- a/CHANGES
+++ b/CHANGES
@@ -10,6 +10,14 @@
 
 ** Generic changes
 
+*** Bundling of MMM Mode (for multiple modes in one buffer)
+
+    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.
+    Contributions of configuration for other provers welcomed.
+
 *** X-Symbol (and MMM-mode) minor mode behaviour simplified
  
     These minor modes like to be responsible for turning themselves
@@ -19,13 +27,6 @@
     minor mode status; toggling it will also update the default
     "global for PG" behaviour for new script buffers.
 
-*** 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.
-
 *** Follow mode: add "followdown" setting
 
 In this mode, the point moves with the locked region when it moves