From 4f84c294f44913ebd291539b583f085db75ec240 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 10 May 2002 12:43:18 +0000
Subject: tuned isar-strip-terminators;

---
 isar/isar.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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)
-- 
cgit v1.2.3