diff options
Diffstat (limited to 'isar/isar.el')
-rw-r--r-- | isar/isar.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isar/isar.el b/isar/isar.el index 25572319..6985d309 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -23,6 +23,7 @@ (require 'pg-goals) (require 'pg-vars) (defvar outline-heading-end-regexp nil) + (defvar comment-quote-nested nil) (proof-ready-for-assistant 'isar)) ; compile for isar (require 'isabelle-system) ; system code |