diff -r feede61efa96 -r 866172a16472 book/src/flex_config3.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/book/src/flex_config3.txt	Wed Mar 23 21:10:10 2011 +0100
@@ -0,0 +1,2 @@
+time_sep { return TIMESEP; }
+fl	 { return FL; }