Release 0.5.1 - Release Notes

Release 0.5.1 is a bug-fix release; it does not add any new features. All the known bugs in 0.5 listed here are fixed in release 0.5.1. There are a few bugs in 0.5 which have not been fixed in 0.5.1, mostly problems with the profiler. These bugs will all be fixed in the next release.