1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/paper/src/flex_config8.txt	Fri Jun 04 13:48:28 2010 +0200
     1.3 @@ -0,0 +1,5 @@
     1.4 +{id}	 { yylval.string = installString(); return ID; }
     1.5 +\"	 { return QUOTE; }
     1.6 +#.*$	 { return COM; }
     1.7 +{ws}	 {  }
     1.8 +.	 { return yytext[0]; }