[z3-five] Five 0.2b just released

[Martijn Faassen]

Hi there,

I just released Five 0.2b; it can be found here:

http://codespeak.net/z3/five

 From now on changes that need to be in 0.2 final will need to be 
applied on both the Five-0.2 branch as well as the trunk.

Regards,

Martijn