mario [Tue, 26 May 2009 18:04:27 +0200] rev 178
Starting move of search utils to their own top level directory.
mario [Mon, 25 May 2009 12:17:10 +0200] rev 177
Adding support for SAFEBOOL. Some code generation yet to do...
lbessard [Tue, 19 May 2009 16:31:35 +0200] rev 176
Bug with non-working counters fixed