aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2010-08-27 11:24:18 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2010-08-27 11:24:18 +0000
commit7c58cd14c910ce3c0829b075118dedd90f477e21 (patch)
treed73f092d462d1b6cd571a9dc5ba8cf21c33ca6f5 /contrib
parentc57cad850b83893c73a52fa6ae0fbb9fade6c8de (diff)
Renamed file contrib/mmm/README.mmm-for-ProofGeneral, formerly mmm/README.mmm-for-ProofGeneral
Diffstat (limited to 'contrib')
-rw-r--r--contrib/mmm/README.mmm-for-ProofGeneral26
1 files changed, 26 insertions, 0 deletions
diff --git a/contrib/mmm/README.mmm-for-ProofGeneral b/contrib/mmm/README.mmm-for-ProofGeneral
new file mode 100644
index 00000000..346e407b
--- /dev/null
+++ b/contrib/mmm/README.mmm-for-ProofGeneral
@@ -0,0 +1,26 @@
+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 .
+
+