From 2ced2b851a24d69177462591ea6b8ac4e31102bf Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Jul 2008 12:26:13 +0000
Subject: Reverse 8.28, buffer-substring-no-properties -> buffer-substring.
 This fixes Unicode Tokens handling of sub/super scripts, etc. See
 http://proofgeneral.inf.ed.ac.uk/trac/ticket/214 Thanks to Simon Winwood for
 identifying failure point.

---
 generic/proof-script.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 8a01fd85..0791a56c 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1643,7 +1643,7 @@ to the function which parses the script segment by segment."
 	    (setq cmdseen t)
 	    (setq seg (list
 		       'cmd
-		       (buffer-substring-no-properties realstart (point))
+		       (buffer-substring realstart (point))
 		       (point))))
 	   ((null type))		; nothing left in buffer
 	   (t
@@ -1807,7 +1807,7 @@ to the function which parses the script segment by segment."
 	      (skip-chars-forward " \t\n")
 	      (point)))
 	   (comend (point))
-	   (bufstr (buffer-substring-no-properties prev-no-blanks comend))
+	   (bufstr (buffer-substring prev-no-blanks comend))
 	   (type
 	    (save-excursion
 	      ;; The behaviour here is a bit odd: this is a
@@ -1946,7 +1946,7 @@ This version is used when `proof-script-command-end-regexp' is set."
 	      ;; There should be something left: a command.
 	      (skip-chars-forward " \t\n")
 	      (setq alist (cons (list 'cmd
-				      (buffer-substring-no-properties
+				      (buffer-substring
 				       (point) cmdend)
 				      cmdend) alist))
 	      (setq prev cmdend)
-- 
cgit v1.2.3