paper/src/flex_config1.txt
author Eugen Sawin <sawine@me73.com>
Mon, 28 Mar 2011 23:38:01 +0200
changeset 11 a72716252271
permissions -rw-r--r--
Minor.
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}+