# HG changeset patch # User Francesco Potort # Date 1015942404 0 # Node ID 1e419a707ae15f8928c4dd00977792d7d9e9d69e # Parent 7d0cb2cc5e60d1abba675ce478d9ce2d4d25c2b0 *** empty log message *** diff -r 7d0cb2cc5e60 -r 1e419a707ae1 etc/ETAGS.EBNF --- a/etc/ETAGS.EBNF Tue Mar 12 13:44:20 2002 +0000 +++ b/etc/ETAGS.EBNF Tue Mar 12 14:13:24 2002 +0000 @@ -7,9 +7,9 @@ LF ::= #x0a /* line feed */ -PATTERM ::= #x80 /* pattern terminator */ +DEL ::= #x7f /* pattern terminator */ -NAMTERM ::= #x01 /* name terminator */ +SOH ::= #x01 /* name terminator */ regchar ::= [^#x0a#x0c#x80] /* regular character */ @@ -29,13 +29,13 @@ filename ::= regchar regstring /* a file name */ -fileprop ::= PATTERM "(" regstring ")" +fileprop ::= DEL "(" regstring ")" tag ::= directtag | patterntag -directtag ::= PATTERM realposition +directtag ::= DEL realposition -patterntag ::= pattern PATTERM [ tagname NAMTERM ] position +patterntag ::= pattern DEL [ tagname SOH ] position pattern ::= regstring /* a tag pattern */