diff options
| -rw-r--r-- | isar/isar.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/isar/isar.el b/isar/isar.el index b7829822..4425f69b 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -94,7 +94,8 @@ (if (not (proof-buffer-syntactic-context)) (progn (delete-backward-char 1) - (or (proof-looking-at ";\\|\s-\\|$") (insert " "))))))) + (or (proof-looking-at ";\\|\\s-\\|$") + (insert " "))))))) (defun isar-markup-ml (string) |