debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	The "choose" statement, hacky and specialized as it was, is now gone. Use th...	Rustan Leino	2013-03-27
*	Finished support for ==# in calc, changed Paulson example to use it.	Nadia Polikarpova	2013-03-20
*	Added the <== operator.	Nadia Polikarpova	2013-03-14
*	Renamed "parallel" statement to "forall" statement, and made the parentheses ...	Rustan Leino	2013-03-06
*	"!!" can now be parsed as two "!". More concise parsing for "!in".	Nadia Polikarpova	2013-02-07
*	Removed the syntactic form copredicate #-form with the implicit argument.	Rustan Leino	2013-01-16
*	Improved error message for making the mistake of saying 'returns' instead of ...	Rustan Leino	2012-11-25
*	Parse prefix predicates/methods	Rustan Leino	2012-11-24
*	renamed "abstract module" to "module facade"	Rustan Leino	2012-10-22
*	New feature:	Rustan Leino	2012-10-11
*	Put all sources under \Source directory	Rustan Leino	2012-10-04