diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-21 09:40:17 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-21 09:40:17 -0700 |
| commit | b819c42e85eb8ac0968abeab9f3fa3420a5dd760 (patch) | |
| tree | 9f34664cb3fc11804e397ea09fda313e69d43dc2 /Source/DafnyServer | |
| parent | af6f23ba1869c0450c44e917becc48263b565327 (diff) | |
Allow display expressions as trigger terms
Diffstat (limited to 'Source/DafnyServer')
0 files changed, 0 insertions, 0 deletions