From 63c66e4c972ef89e5bcd578f6277b567a01d1ec0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 29 May 2000 18:49:00 +0000
Subject: Tweak font lock exprs enough for Example.thy

---
 isar/isar-syntax.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index e3b2a4bd..81e052bd 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -294,7 +294,7 @@
     "^proof (state):"
     "^goal (theorem .*):"
     "^prems:"
-    "^using this:"
+    "^\\(using \\)?this:"
     "^goal (show):"
     "^Variables:$"
     "^Constants:$"
-- 
cgit v1.2.3