| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Make the -mv option use the new Model class. |  MichalMoskal | 2010-10-12 |
| * | Add one more file | MichalMoskal | 2010-10-07 |
| * | Update to include all build artifacts, also from Dafny | MichalMoskal | 2010-10-07 |
| * | Addint ignore file for GIT | stobies | 2010-08-27 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |
path: root/.gitignore