diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-08-15 21:52:53 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-08-15 21:52:53 -0700 |
| commit | 2d4de92cd536fedecdd9dd7aba6091873eac562e (patch) | |
| tree | dbd68d56be64f025cc60da6938deb30858e3ba2c /Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs | |
| parent | 4b7f173e6b0b3b1d71596992f333cf569f1329f1 (diff) | |
DafnyExtension: do verification in a non-UI thread
Diffstat (limited to 'Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs')
0 files changed, 0 insertions, 0 deletions