debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	New version number 1.9.7.30401, for binary release on Codeplex and Rise4fun.	leino	2016-04-01
\| \| \| \|	Changed copyright date to include 2016.
*	Updated version number to 1.9.6.21116. This version is now on rise4fun.	leino	2015-11-16
\|
*	Version 1.9.6.21012	Rustan Leino	2015-10-12
\|
*	Version 1.9.5.20511	leino	2015-05-11
\|
*	Bumped version to 1.9.4.20428	leino	2015-04-29
\|
*	Changed version to 1.9.3.20406 and updated copyright year to include 2015.	leino	2015-04-06
\|
*	Bumped the version number to 1.9.3.20107	leino	2015-01-07
\|
*	Updated version to 1.9.2.11107 (which is going out on rise4fun)	Rustan Leino	2014-11-07
\|
*	Changed version to 1.9.1.11022	leino	2014-10-21
\|
*	Changed version to 1.9.1.11021	leino	2014-10-21
\| \| \| \|	Also include ModelViewer.dll in binary distribution
*	Updated version to 1.9.0.11016. This version is going on rise4fun.com.	leino	2014-10-16
\|
*	Version 1.8.2.10419, binary release and (except for the "include" update in ↵	Rustan Leino	2014-04-19
\| \| \| \|	the previous check-in) rise4fun
*	Bumped version to 1.8.1.10324. To go onto rise4fun and as a binary drop.	Rustan Leino	2014-03-24
\|
*	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
\|
*	Bumped version to 1.6.3.00320, to appear on rise4fun	Rustan Leino	2013-03-20
\|
*	Updated version to 1.6.2.00318	Rustan Leino	2013-03-18
\|
*	Bumped version to 1.6.1, to be released as a binary and on rise4fun.	Rustan Leino	2013-03-10
\|
*	Fixed bug in translation of method termination checks, and also fixed a ↵	Rustan Leino	2013-01-23
\| \| \| \|	(previously undetected) specification bug in the test suite.
*	Bumped version number to 1.6.0.00121	Rustan Leino	2013-01-22
\|
*	Updates of various .sln and .*proj files	Rustan Leino	2012-10-04