summaryrefslogtreecommitdiff
path: root/Binaries/PrepareBoogieZip.bat
Commit message (Expand)AuthorAge
* Updated PrepareBoogieZip.bat to include BVD and smt2Gravatar rustanleino2011-03-10
* Boogie: Updated 'PrepareBoogieZip.ba?t'.Gravatar wuestholz2011-01-10
* Boogie: Updated 'PrepareBoogieZip.bat'.Gravatar wuestholz2010-12-06
* Miscellaneous changes:Gravatar rustanleino2010-10-22
* Script that gathers the files for the binary distribution Boogie.zip.Gravatar rustanleino2010-05-17