debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Add some files to .hgignore.	wuestholz	2015-11-02
\|
*	Merge	Clément Pit--Claudel	2015-08-24
\|\
\| *	Add the Package folder to .hgignore	Clément Pit--Claudel	2015-08-24
\| \|
* \|	Exclude axiom-profiler.html and z3.log files in the Test directory	Clément Pit--Claudel	2015-08-23
\| \|
* \|	Ignore .bpl files in the Test directory	Clément Pit--Claudel	2015-08-22
\| \|
* \|	Ignore flycheck_ and .orig files	Clément Pit--Claudel	2015-08-22
\|/
*	Update .ignore	Clément Pit--Claudel	2015-07-31
\|
*	Add Test/sandbox/* to .hgignore	Clément Pit--Claudel	2015-07-21
\|
*	DafnyExtension: Ignore copied file.	wuestholz	2014-09-28
\|
*	added ignored files	Reza Ahmadi	2014-07-18
\|
*	Produce "tail recursive" hover text in the IDE only for methods that are ↵	Rustan Leino	2013-12-13
\| \| \| \|	recursive
*	Updated an 'Answer' file.	wuestholz	2013-05-26
\|
*	Updated several project files.	wuestholz	2013-05-21
	Note that the 'boogie' directory is expected to be a sibling of the 'dafny' directory.