debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
\| \| \| \| \| \|	this required that this commit globally modify most files. If you want to use git blame to see the real author of a line use the ``-w`` flag so that whitespace changes are ignored.
*	Add "Large font" menu item (for demos)	Michal Moskal	2011-04-15
\|
*	Improve colors in source view	MichalMoskal	2011-01-26
\|
*	VCC-BVD: display qualifiers of VCC-generated copies of local variables; hide ↵	MichalMoskal	2011-01-26
\| \| \| \| \| \| \|	states that do not update "$s" (heap). Fix some bugs in source view. Rename SourceLocation to SourceViewState.
*	Display line numbers (useful for finding what the error message refers to)	MichalMoskal	2011-01-26
\|
*	Right-clicking on a state allows to display the source code for it	MichalMoskal	2011-01-26