debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Fix some VS IDE performance issues.	qunyanm	2016-01-06
\| \| \| \| \| \| \| \| \| \| \| \|	- cache scan results so it can be shared between different instances of DafnyTokenTagger - Instead of rescanning the whole text buffer upon a text change, only rescan the text span that the text change is in. - set the timer to half a second to match the comment at the beginnig of the file. The event change are only passed along to Dafny when the user stop typing for half a second. - Change framework dependence so the project can work with version 4.5 and higher.
*	Make the Dafny extension compile on VS 2015 without any old versions.	wuestholz	2015-10-08
\|
*	Changed version to 1.9.3.20406 and updated copyright year to include 2015.	leino	2015-04-06
\|
*	Add z3.exe and z3-license.txt to dafny binary and extension distribution.	qunyanm	2015-04-06
\|
*	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