Wed, 09 May 2012 23:00:10 +0100Fix parsing os TIME literals & rename the extract_integer() function.
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 23:00:10 +0100] rev 547
Fix parsing os TIME literals & rename the extract_integer() function.