| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Update to VS2010. |  MichalMoskal | 2010-10-07 |
| * | Fixed some infelicities in the project files. | mikebarnett | 2010-08-04 |
| * | fixed path to the binaries directory; there was an extra .." | qadeer | 2010-08-03 |
| * | Also build Boogie and Dafny projects in 32-bit configurations. | rustanleino | 2010-07-30 |
| * | Sign both of the Dafny projects and have Dafny.exe get a version number as well. | mikebarnett | 2010-07-30 |
| * | Dafny: DafnyDriver port part 3/3: Updating sources to reference new project. | tabarbe | 2010-07-28 |
| * | Dafny: DafnyDriver port part 1/3: Replacing old source files with ported version | tabarbe | 2010-07-28 |
| * | Dafny/DafnyDriver: Renaming source files in preparation for port commit | tabarbe | 2010-07-28 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |