paper/src/flex_config1.txt
author Eugen Sawin <sawine@me73.com>
Wed, 30 Mar 2011 18:10:56 +0200
changeset 19 a8c8ad6045d6
permissions -rw-r--r--
Final.
     1 delim    [ \t]
     2 ws	 {delim}+
     3 letter 	 [A-Za-z]
     4 digit	 [0-9]
     5 id	 {letter}({letter}|{digit}|_)*
     6 real	 {digit}+\.{digit}+