debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	DafnyExtension: Did some refactoring to integrate the Dafny menu more tightly.	wuestholz	2013-07-28
\|
*	DafnyExtension: Added support for collecting additional information during ↵	wuestholz	2013-07-15
\| \| \| \|	resolution and displaying it.
*	DafnyExtension: Did some refactoring.	wuestholz	2013-06-11
\|
*	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