proofmode/spec_patterns.v · 44a220a9b4eeace88286b1aac6270ffb313d69b4 · Rice Wine / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

5780 commits behind the upstream repository.

8 years ago
44a220a9
Also treat 009-013 as whitespace in the intro patterns parsers. · 44a220a9
Robbert Krebbers authored 8 years ago
```
That range includes tabs and new lines.

Thanks Morten for spotting this problem.
```
44a220a9

History
Also treat 009-013 as whitespace in the intro patterns parsers.
Robbert Krebbers authored 8 years ago
```
That range includes tabs and new lines.

Thanks Morten for spotting this problem.
```

spec_patterns.v 3.53 KiB