New projects directory.

1 files changed, 23 insertions, 0 deletions

diff --git a/html/projects/mm.html b/html/projects/mm.html
new file mode 100644
index 00000000..d7bf6954
--- /dev/null
+++ b/html/projects/mm.html
@@ -0,0 +1,23 @@
+<h2>Multiplexed 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
+mode, but in literate styles of programming and proving we want to mix
+program text with documentation in a single file.  A way of
+multiplexing major modes is needed, so that different regions of a
+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.
+</p><p>
+<b>Skills:</b>
+A passion for Emacs and Emacs Lisp.
+</p><p>
+<b>Proposer:</b>
+<a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.
+</p>
+