diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-17 10:38:30 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-17 10:38:30 -0700 |
| commit | 4c5d48ffa0b0e4328ef333d62d7df51190f17f36 (patch) | |
| tree | 60586e05ce682928c5e7c459d256e038d6e56c7d /Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs | |
| parent | a0ca883814db46d751c71b76734f63eeb9c08b92 (diff) | |
DafnyExtension: simplified display of type names and field names
Diffstat (limited to 'Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs')
0 files changed, 0 insertions, 0 deletions