[z3-five] 0.2 release

Martijn Faassen faassen at infrae.com
Tue Sep 14 17:47:11 MEST 2004


Hi there,

I'd like to do a 0.2 release tomorrow. Besides for a bit more 
documentation that should really be written to discuss various new 
features, we're okay, right? If you added a new feature feel free to add 
stuff in the doc directory. :)

Multiple sendEvents declarations support and testing can wait until 0.3.

Regards,

Martijn


More information about the z3-five mailing list