diff options
| -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 |