From 3449ecf31c2cc19e3e8152183f4c0acdc6f5b532 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 15 Aug 2007 17:26:02 +0000
Subject: isar-goalhyplit-test: explicit end-marker;

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

diff --git a/isar/isar.el b/isar/isar.el
index 2b9ee8d0..7a1b9a4b 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -637,10 +637,9 @@ Checks the width in the `proof-goals-buffer'"
 (defun isar-goalhyplit-test ()
   "This is a value for pg-topterm-goalhyplit-fn, see proof-config.el for docs."
   ;; We need to find the end of the proof command on the current line.
-  (let ((bol (point)))
-    (end-of-line) ;; could search backwards for regexps here, return nil to fail
-    ;; Indicate that this is a literal command to send back
-    (cons 'lit (buffer-substring bol (point)))))
+  (let ((start (point)))
+    (and (proof-re-search-forward "\375\\|\^AW" nil t)
+      (cons 'lit (buffer-substring start (match-beginning 0))))))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
-- 
cgit v1.2.3