Thu, 04 Oct 2012 16:53:02 +0100Deprecating use of search_expression_type_c, so it may later be deleted!
Mario de Sousa <msousa@fe.up.pt> [Thu, 04 Oct 2012 16:53:02 +0100] rev 668
Deprecating use of search_expression_type_c, so it may later be deleted!

Thu, 04 Oct 2012 15:10:45 +0100Merge
Mario de Sousa <msousa@fe.up.pt> [Thu, 04 Oct 2012 15:10:45 +0100] rev 667
Merge