diff options
| author | David Aspinall | 2007-12-13 19:20:44 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-12-13 19:20:44 +0000 |
| commit | 0e708337ee11ea05db2043a2d07c7dcf78dc25a5 (patch) | |
| tree | 03239e9706a1d03f8070945d2f7096c9b1812930 | |
| parent | 9493800d75ed5f2b61dcf28149d6f224dfc4f005 (diff) | |
Bind coqdoc-html to C-c % w to avoid clash with help key.
| -rw-r--r-- | coq/coq-mmm.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-mmm.el b/coq/coq-mmm.el index 46f9476f..70e3f107 100644 --- a/coq/coq-mmm.el +++ b/coq/coq-mmm.el @@ -33,7 +33,7 @@ :face mmm-comment-submode-face :front "(\\*\\*[^#]*#" :back "#[ \t]*\\*)" - :insert ((?h coqdoc-html nil @ "(** #" @ " _ " @ "# *)" @))) + :insert ((?w coqdoc-html nil @ "(** #" @ " _ " @ "# *)" @))) (coq-verbatim :submode text-mode |