diff options
| author | David Aspinall | 2009-09-04 19:41:44 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-04 19:41:44 +0000 |
| commit | d52c2717239d6e3e2f31456bada62e692d6d7b4c (patch) | |
| tree | e69fc1a200ad22494759335c6a99b4b7f950109d | |
| parent | bdcc98ef86c7de480bcabcb32e958ccf80298fba (diff) | |
Fix require
| -rw-r--r-- | isar/isar-mmm.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isar/isar-mmm.el b/isar/isar-mmm.el index 99b52c7a..a36b484e 100644 --- a/isar/isar-mmm.el +++ b/isar/isar-mmm.el @@ -19,6 +19,7 @@ ;; (require 'mmm-auto) +(require 'proof-syntax) ; proof-ids-to-regexp (defconst isar-start-latex-regexp (concat |