paper/src/flex_config1.txt
author Eugen Sawin <sawine@me73.com>
Fri, 04 Jun 2010 13:48:28 +0200
changeset 0 feede61efa96
permissions -rw-r--r--
Final version.
sawine@0
     1
delim    [ \t]
sawine@0
     2
ws	 {delim}+
sawine@0
     3
letter 	 [A-Za-z]
sawine@0
     4
digit	 [0-9]
sawine@0
     5
id	 {letter}({letter}|{digit}|_)*
sawine@0
     6
real	 {digit}+\.{digit}+