From d52c2717239d6e3e2f31456bada62e692d6d7b4c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 4 Sep 2009 19:41:44 +0000
Subject: Fix require

---
 isar/isar-mmm.el | 1 +
 1 file changed, 1 insertion(+)

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
-- 
cgit v1.2.3