debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	DafnyExtension: Worked on adding support for Visual Studio 2013.	wuestholz	2014-07-02
\|
*	Version 1.8.0.10115 release candidate	Rustan Leino	2014-01-15
\|
*	Bumped version to 1.7.0, to be released as a binary and on rise4fun.	wuestholz	2013-08-06
\|
*	DafnyExtension: Use the same version number as Dafny (unfortunately needs to ↵	wuestholz	2013-08-05
\| \| \| \|	be updated separately in the vsixmanifests).
*	DafnyExtension: Did some refactoring to integrate the Dafny menu more tightly.	wuestholz	2013-07-28
\|
*	DafnyExtension: Did some refactoring and worked towards integrating the ↵	wuestholz	2013-07-26
\| \| \| \|	Dafny menu more tightly.
*	DafnyExtension: Cleaned up some references and disabled non-functional ↵	wuestholz	2013-06-07
\| \| \| \|	support for VS 2010.
*	DafnyExtension: Added menu for invoking specific Dafny functionality (e.g., ↵	wuestholz	2013-05-23
\| \| \| \|	compilation).
*	Put all sources under \Source directory	Rustan Leino	2012-10-04