Thu, 04 Oct 2012 18:29:26 +0100Deprecate use of search_expression_type_c (prepare for complete removal!)
Mario de Sousa <msousa@fe.up.pt> [Thu, 04 Oct 2012 18:29:26 +0100] rev 669
Deprecate use of search_expression_type_c (prepare for complete removal!)

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