From 27e42b688f8bc872a0d6c18f8a91c2b6e2320aa6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 Jun 2004 16:05:45 +0000
Subject: *** empty log message ***

---
 etc/isar/NamesInStrings.thy | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/etc/isar/NamesInStrings.thy b/etc/isar/NamesInStrings.thy
index b8afc467..cf650298 100644
--- a/etc/isar/NamesInStrings.thy
+++ b/etc/isar/NamesInStrings.thy
@@ -9,7 +9,8 @@ lemma "foo-wiggle-bar": "B --> B" by auto
 theorem "x b": "B --> B" by auto
 
 (* NB: various other regexps and settings based on them are sensitive
-   to grouping in isar-name-regexp. *)
+   to grouping in isar-name-regexp: should check function menu, imenu,
+   as well as undo behaviour. *)
 
 end
 
-- 
cgit v1.2.3