summaryrefslogtreecommitdiff
path: root/Source/DafnyExtension/Properties
Commit message (Collapse)AuthorAge
* DafnyExtension: Use the same version number as Dafny (unfortunately needs to ↵Gravatar wuestholz2013-08-05
| | | | be updated separately in the vsixmanifests).
* DafnyExtension: Did some refactoring and worked towards integrating the ↵Gravatar wuestholz2013-07-26
| | | | Dafny menu more tightly.
* Put all sources under \Source directoryGravatar Rustan Leino2012-10-04