debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Make the Dafny extension compile on VS 2015 without any old versions.	wuestholz	2015-10-08
\|
*	Build VS Extension for both VS 2012 and VS 2013.	Rustan Leino	2014-07-08
\| \| \| \|	Currently builds only in VS 2012. To build in VS 2013, change MinimumVisualStudioVersion from 11.0 to 12.0 in these two .csproj files.
*	DafnyExtension: Use the same version number as Dafny (unfortunately needs to ↵	wuestholz	2013-08-05
\| \| \| \|	be updated separately in the vsixmanifests).
*	DafnyExtension: Increased the font size for the BVD tool window.	wuestholz	2013-07-31
\|
*	DafnyExtension: Did some refactoring to integrate the Dafny menu more tightly.	wuestholz	2013-07-28
\|
*	DafnyExtension: minor change	wuestholz	2013-07-26
\|
*	DafnyExtension: Did some refactoring and worked towards integrating the ↵	wuestholz	2013-07-26
\| \| \| \|	Dafny menu more tightly.
*	DafnyExtension: Worked on integrating BVD.	wuestholz	2013-07-14
\|
*	DafnyExtension: Cleaned up some references and disabled non-functional ↵	wuestholz	2013-06-07
\| \| \| \|	support for VS 2010.
*	DafnyExtension: minor changes	wuestholz	2013-05-27
\|
*	DafnyExtension: Added a button to the menu for stopping/starting the verifier.	wuestholz	2013-05-26
\|
*	DafnyExtension: Added menu for invoking specific Dafny functionality (e.g., ↵	wuestholz	2013-05-23
	compilation).