changeset 43857:1e419a707ae1

*** empty log message ***
author Francesco Potortì <pot@gnu.org>
date Tue, 12 Mar 2002 14:13:24 +0000
parents 7d0cb2cc5e60
children 8d0430162d52
files etc/ETAGS.EBNF
diffstat 1 files changed, 5 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- 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 */