diff options
| author |  Rustan Leino <unknown> | 2015-08-17 16:04:31 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2015-08-17 16:04:31 -0700 |
| commit | 747e2d218f49683605d52f70dbb372f37d9f304b (patch) | |
| tree | 9c2ed95011ec3788928f377ebd487eba6defbc2c /Test/dafny0 | |
| parent | 5b155d0270984f7e92565e5b329bfed05991d01b (diff) | |
Changed hover-text location for recursive ind/co-lemma calls
Diffstat (limited to 'Test/dafny0')
0 files changed, 0 insertions, 0 deletions