1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/paper/src/flex_config5.txt	Fri Jun 04 13:48:28 2010 +0200
     1.3 @@ -0,0 +1,8 @@
     1.4 +is	 { return IS; }
     1.5 +in	 { return IN; }
     1.6 +not	 { return NOT; }
     1.7 +less	 { return LESS; }
     1.8 +greater	 { return GREATER; }
     1.9 +than	 { return THAN; }
    1.10 +and	 { return AND; }
    1.11 +or	 { return OR; }