diff options
| author | David Aspinall | 2009-09-05 18:08:15 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-05 18:08:15 +0000 |
| commit | 13aae6b72b15ea8614b07c5b0da05751b7b11956 (patch) | |
| tree | 8c578b7972f01ac858ba7d49fe208781896840a8 | |
| parent | b68a1c221020a3256eda081344d323b036500b3f (diff) | |
Missing require
| -rw-r--r-- | coq/coq-mmm.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/coq/coq-mmm.el b/coq/coq-mmm.el index 21fa678e..e8ff56eb 100644 --- a/coq/coq-mmm.el +++ b/coq/coq-mmm.el @@ -12,6 +12,8 @@ ;; code which also uses skeletons: the interesting positions used ;; for MMM markup are made into holes! +(require 'mmm-auto) + (mmm-add-group 'coq `((coq-text |