diff options
| author | David Aspinall | 2002-07-13 17:13:37 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-13 17:13:37 +0000 |
| commit | 27b628241fd95a1a4fb23078bf5b4a6928735cf2 (patch) | |
| tree | 3bf4f6351904375249a9d52b15b2dec777ac5e5b /html/projects | |
| parent | 70c374792f44ed4fcc1a615a86a2b600d23540c9 (diff) | |
Link to page mentioned by emacs guy
Diffstat (limited to 'html/projects')
| -rw-r--r-- | html/projects/mm.html | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/html/projects/mm.html b/html/projects/mm.html index d7bf6954..c0946f65 100644 --- a/html/projects/mm.html +++ b/html/projects/mm.html @@ -1,4 +1,4 @@ -<h2>Multiplexed Modes for Emacs</h2> +<h2>Mulitple modes for Emacs</h2> <p> Emacs has a mechanism for customizing the editing behaviour of buffers based on their <i>major mode</i>. A buffer can only have one major @@ -9,10 +9,13 @@ buffer can be edited in different modes. One approach may be to use "views" onto untangled buffers, although it isn't clear how search and replace, etc, should behave in this case. </p><p> -Emacs hackers may already have worked on this problem and solved it -sufficiently well (does anybody know?), in which case this project -might degenerate into applying the work for Coq and Isabelle/Isar, as -a feasibility demonstration. +The <a href="http://mmm-mode.sourceforge.net/">MMM mode</a> Emacs +add-on allows multiple-modes in a similar way, and was originally +designed for the situation where you have a script embedded in an HTML +page. +This project +might try applying MMM mode for Proof General +with Coq and Isabelle/Isar, as a feasibility demonstration. </p><p> <b>Skills:</b> A passion for Emacs and Emacs Lisp. |