paper/src/flex_config1.txt
author Eugen Sawin <sawine@me73.com>
Mon, 28 Mar 2011 23:37:03 +0200
changeset 10 2283a18e186c
permissions -rw-r--r--
Layout adjustments, new preface.
     1 delim    [ \t]
     2 ws	 {delim}+
     3 letter 	 [A-Za-z]
     4 digit	 [0-9]
     5 id	 {letter}({letter}|{digit}|_)*
     6 real	 {digit}+\.{digit}+