From 9a771e0f787216593070c66dfaed3b9ea2007e81 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Aug 2010 08:42:44 +0000
Subject: Bring syntactic context functions together

---
 generic/proof-script.el | 17 +----------------
 1 file changed, 1 insertion(+), 16 deletions(-)

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 8dbf2d14..069b7046 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1915,7 +1915,7 @@ that these may be overwritten)."
     (proof-extend-queue lastpos vanillas)))
 
 (defun proof-retract-before-change (beg end)
-  "For `before-change-functions'.  Retract to BEG unless BEG..END in comment.
+  "For `before-change-functions'.  Retract to BEG unless BEG and END in comment.
 No effect if prover is busy."
   (and (> (proof-queue-or-locked-end) beg)
        (not (and (proof-inside-comment beg)
@@ -1926,21 +1926,6 @@ No effect if prover is busy."
 	   (goto-char beg)
 	   (proof-retract-until-point)))))
 
-(defun proof-inside-comment (pos)
-  "Return non-nil if POS is inside a comment."
-  (save-excursion
-    (goto-char pos)
-    (eq (proof-buffer-syntactic-context) 'comment)))
-
-(defun proof-inside-string (pos)
-  "Return non-nil if POS is inside a comment."
-  (save-excursion
-    (goto-char pos)
-    (eq (proof-buffer-syntactic-context) 'string)))
-
-
-
-
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
-- 
cgit v1.2.3