diff options
| author |  Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2013-02-07 14:25:28 +0100 |
|---|---|---|
| committer | Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2013-02-07 14:25:28 +0100 |
| commit | bc0e2a5f6ef893c549c3a244faa17e7f235a2de0 (patch) | |
| tree | 0da900e0ddfe23e9f871cee9ac78180dfb00a63f /Test/dafny3 | |
| parent | 2394abbd5fcb8536570add30d6396ebb86569a71 (diff) | |
"!!" can now be parsed as two "!". More concise parsing for "!in".
Diffstat (limited to 'Test/dafny3')
0 files changed, 0 insertions, 0 deletions