various minor fixes and tweaks
darcs-hash:20080508012338-ac9f3-5a8482e09c044ea04d869b426e19de3108459b22.gz
parent
c9547b8e
Please register or sign in to comment
darcs-hash:20080508012338-ac9f3-5a8482e09c044ea04d869b426e19de3108459b22.gz