| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Updated PrepareBoogieZip.bat to include BVD and smt2 |  rustanleino | 2011-03-10 |
| * | Boogie: Updated 'PrepareBoogieZip.ba?t'. | wuestholz | 2011-01-10 |
| * | Boogie: Updated 'PrepareBoogieZip.bat'. | wuestholz | 2010-12-06 |
| * | Miscellaneous changes: | rustanleino | 2010-10-22 |
| * | Script that gathers the files for the binary distribution Boogie.zip. | rustanleino | 2010-05-17 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |