From 0adaa52078d62e324417b3328e8cc03fa09a4a22 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 26 May 2000 13:18:43 +0000
Subject: isar-any-command-regexp;

---
 isar/isar-syntax.el | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 081d09e5..dfab37e4 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -152,6 +152,10 @@
 
 (defconst isar-string "\"\\(\\([^\\\"]\\|\\\\\"\\)*\\)\"")
 
+(defconst isar-any-command-regexp
+  (isar-ids-to-regexp isar-keywords-major)
+  "Regexp matching any Isabelle/Isar command keyword.")
+
 (defconst isar-name-regexp
   (concat "\\s-*\\(" isar-string "\\|" isar-id "\\)\\s-*")
   "Regexp matching Isabelle/Isar names, with contents grouped.")
-- 
cgit v1.2.3