From 524d4d817eb5549cfb453afd3a6222245741177c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 8 Jun 2002 10:25:42 +0000
Subject: Fix bug in string syntax in isar-strip-terminators: did this work
 correctly before?

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

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