diff options
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isar-syntax.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 408b910e..5b45eb89 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -447,7 +447,7 @@ matches contents of quotes for quoted identifiers.") (defconst isar-undo "ProofGeneral.undo;") -(defun isar-pr () +(defconst isar-pr (if (member "ProofGeneral\\.pr" isar-keywords-major) "ProofGeneral.pr" ; does right thing @@ -462,7 +462,7 @@ matches contents of quotes for quoted identifiers.") (int-to-string i) ";" (if linearp (concat " " - (isar-pr) + isar-pr ";")) ) nil)) ; was proof-no-command |