diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-30 14:18:47 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-30 14:18:47 -0700 |
| commit | 40d21f0057a4d0ce9fc184aae375e2404f00f51e (patch) | |
| tree | 4e20f85a55662c6f018932065f1185aeabf8d077 /Jennisys | |
| parent | 71b527bf4084763bb48c5c9fc44fc2ee456415d6 (diff) | |
DafnyExtension: changed how "_" is displayed (now display as a keyword, not as an identifier definition)
Diffstat (limited to 'Jennisys')
0 files changed, 0 insertions, 0 deletions