TAG 0.4.0

darcs-hash:17b6215b418cceeaa50ecd25adfbfb0bcb825809
This tag has no release notes.