diff options
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/isar/isar.el b/isar/isar.el index 0fe23c21..2281f3f0 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -87,8 +87,10 @@ See -k option for Isabelle interface script." proof-prog-name-guess t ;; proof script syntax - proof-terminal-char ?\; ; forcibly ends a command + proof-terminal-char ?\; ; forcibly ends a command + proof-electric-terminator-noterminator t ; don't insert it proof-script-command-start-regexp + (proof-regexp-alt ;; FIXME: this gets { and } wrong: they must _not_ appear as {* *} ;; because that's lexically a kind of comment. |