diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-07 18:56:55 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-07 18:56:55 -0700 |
| commit | 99d505ff5d7f8fcbf8ca13f506482b85761e21aa (patch) | |
| tree | bbf7571368cb309793964d6c506dbe775246d1c5 /Source/Dafny/Makefile | |
| parent | 5cd043ff68c7e46217f817705950a4c6ea404d44 (diff) | |
DafnyExtension: new color (violet) for buffer snapshot sent to the verifier
Diffstat (limited to 'Source/Dafny/Makefile')
0 files changed, 0 insertions, 0 deletions