diff options
| -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 c2aa847d..b7829822 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -92,7 +92,9 @@ (goto-char (point-min)) (while (search-forward ";" (point-max) t) (if (not (proof-buffer-syntactic-context)) - (delete-backward-char 1))))) + (progn + (delete-backward-char 1) + (or (proof-looking-at ";\\|\s-\\|$") (insert " "))))))) (defun isar-markup-ml (string) |