blob: 55a36b3695512d0992e8a809d7ed623be671a275 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
The code in this directory is taken from
http://mmm-mode.sourceforge.net/
This is version 0.4.7.
No changes have been made for Proof General.
=================================================================
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 .
|
