Thu, 28 May 2009 14:02:35 +0200Target Directory not parsed in command line fixed
lbessard [Thu, 28 May 2009 14:02:35 +0200] rev 179
Target Directory not parsed in command line fixed

Tue, 26 May 2009 18:04:27 +0200Starting move of search utils to their own top level directory.
mario [Tue, 26 May 2009 18:04:27 +0200] rev 178
Starting move of search utils to their own top level directory.

Mon, 25 May 2009 12:17:10 +0200Adding support for SAFEBOOL. Some code generation yet to do...
mario [Mon, 25 May 2009 12:17:10 +0200] rev 177
Adding support for SAFEBOOL. Some code generation yet to do...