From 24c86f6ce52b633973e12457c6ec8c7133209dc7 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 10 Nov 1999 14:18:55 +0000
Subject: proof-looking-at (subject to proof-case-fold-search);

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

(limited to 'generic')

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