paper/src/flex_config1.txt
author Eugen Sawin <sawine@me73.com>
Fri, 25 Mar 2011 00:10:33 +0100
changeset 5 706257e41de3
permissions -rw-r--r--
Corrections.
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}+