debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Chalice: added "exists" quantifier; changed surface syntax for quantifier ↵	kyessenov	2010-07-19
\| \| \| \|	expressions
*	Chalice:	rustanleino	2010-06-25
\| \| \| \| \|	* renamed keyword "maxlock" to "waitlevel" * added -vs switch, for I/O suitable for VS integration
*	Initial set of files.	mikebarnett	2009-07-15