From: Francesco Potortì <pot@gnu.org>
Date: Tue, 2 Jul 2002 11:35:27 +0000 (+0000)
Subject: Clarified the definition of implicit tag names.
X-Git-Tag: ttn-vms-21-2-B4~14354
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=005e1610198130bdca78577a3e9608716a4aac06;p=emacs.git

Clarified the definition of implicit tag names.
---

diff --git a/etc/ETAGS.EBNF b/etc/ETAGS.EBNF
index 7063fd8b57d..d2f8b68297e 100644
--- a/etc/ETAGS.EBNF
+++ b/etc/ETAGS.EBNF
@@ -72,8 +72,12 @@ Emacs can find a tag faster and more accurately.  These tag names are
 part of tag lines in the tags file, so we call them "explicit".
 
 - Why implicit tag names are even better
-The purpose of implicit tag names is to reduce the number of tag names
-in a tags file, thus reducing the size of the tags file.  When the user
+Often tag names are redundant; this happens when the name of a tag is an
+easily guessable substring of the tag pattern.  We define a set of rules
+to decide whether it is possible to deduce the tag name from the pattern,
+and make an unnamed tag in those cases.  The name deduced from the
+pattern of an unnamed tag is the implicit name of that tag.  The use of
+implicit tag names reduces the size of the tags file.  When the user
 looks for a tag, and Emacs founds no explicit tag names that match it,
 Emacs then tries to match the tag with an implicit tag name.  Such a
 match occurs when the tag matches a pattern, subject to the satisfaction