TAG release_0_5_2

darcs-hash:20030806094824-ed5a3-8f89fdde04e970db6e3f36274cf6ece084e66030.gz
This tag has no release notes.