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