visualstudioandspecsharpreleases

Sign In

Summary: This topic addresses which versions of Visual Studio can be used (or have been used) with which versions of Spec#.

Nearby: FrequentlyAskedQuestions

See GettingStartedWithSpecSharpInVisualStudio

Spec# 1.0.5612.0

		   * Microsoft Visual Studio 2005 Version 8.0.50727.42  (RTM.050727-4200)

Spec# 1.0.5301

This release of Spec# is intended for the Visual Studio 2005 IDE. It has been successfully used with at least the following:

* Visual Studio 2005 Release Candidate 1 Team Suite (circa 12 Sep 2005)

- History
  
  Modified By: System
  
  Apr 30th, 2008 @ 11:15 AM
  
  Views (189)
- Share
  - Del.icio.us
  - Digg
  - FriendFeed
  - Facebook
Markup Quick Guide

*bold*

_italics_

+underline+

! Heading 1

!! Heading 2

* Bullet List

** Bullet List 2

# Number List

## Number List 2

[another wiki page]

[url:http://www.example.com]

[image:example.gif]

{"Do not apply formatting"}

Channel 9: C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 9 of 13
TechNet Edge: Managing Your Virtual World - Tech Focus November 2009 Part 2
ASP.NET: Silverlight and RIA Services: Implementing Search
Channel 9: C9 Lectures: Brian Beckman - Covariance and Contravariance in Physics 1 of 1
Channel 9: Set Your Data Free
Channel 9: Implementing a Silverlight SharePoint WebPart with Visual Studio 2010
WindowsClient: New WPF Showcase Addition: Enterprise
Channel 9: Reactive Extensions API in depth: Contract
WindowsClient: Concluding "New WPF Features" Series
WindowsClient: Introduction to TestApi – Part 5: Managed Code Fault Injection APIs
ASP.NET: T4MVC now has a real home and a dedicated forum!
TechNet Edge: Windows Server 2008 R2 : New Power Management Features
ASP.NET: Web Deployment Painkillers: VS 2010 & MS Deploy
WindowsClient: Application Accessibility Testing
WindowsClient: Prism & WCF RIA Services
Channel 9: Sharepoint 2010 and Claims-Based Identity
WindowsClient: IRhetoric Ported To BlogEngine.NET
WindowsClient: PDC Recap and More
Channel 9: Reactive Extensions API in depth: Primitives
WindowsClient: New WPF Features: MultiTouch
close

Microsoft Communities