[z3-five] Heads up: Merging the restructuring branch

Philipp von Weitershausen philipp at weitershausen.de
Thu Apr 28 15:19:13 CEST 2005


Hello all,

I'll now be merging the restructuring branch. So, please refrain from 
any checkins to the trunk until I'm done. Thanks,

Philipp



More information about the z3-five mailing list