# HG changeset patch # User Francesco Potort # Date 1025609727 0 # Node ID 1d83bbd2ceec16169b338a1329050993cccdc46c # Parent 474a28fb856c339ee155bae86ad1465a65be412e Clarified the definition of implicit tag names. diff -r 474a28fb856c -r 1d83bbd2ceec etc/ETAGS.EBNF --- a/etc/ETAGS.EBNF Mon Jul 01 23:30:21 2002 +0000 +++ b/etc/ETAGS.EBNF Tue Jul 02 11:35:27 2002 +0000 @@ -72,8 +72,12 @@ 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