proof-looking-at (subject to proof-case-fold-search);

1 files changed, 6 insertions, 0 deletions

diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index 1d03131e..37819d8b 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -57,6 +57,12 @@ nil if a region cannot be found."
       ((case-fold-search proof-case-fold-search))
     (string-match regexp string start)))
 
+(defun proof-looking-at (regexp)
+  "Like looking-at, but set case-fold-search to proof-case-fold-search."
+  (let
+      ((case-fold-search proof-case-fold-search))
+    (looking-at regexp)))
+
 
 ;; Generic font-lock