Spec# 1.0.11215 for Microsoft Visual Studio 2005 Release Notes

Changes since last release

0. Visual Studio is no longer required in order to install Spec#.
1. Lots of bug fixes and other features that will eventually be documented...