Spec# 1.0.5424 for Microsoft Visual Studio .NET 2005 (RTM) Release Notes

Installing Simplify

See Installing Simplify.

Changes since last release

1. The new C# project integration. In any C# project, look for the "Contracts" pane in the Properties window. It operates only when the project is built, and one must use the C# comment convention, but it is a way to use Spec# with an existing C# project.
2. Many bug fixes...