diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-06-11 16:39:33 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-06-11 16:39:33 -0400 |
| commit | d8cc9e17811795caf47f7a5ab5030801a699170b (patch) | |
| tree | db0db35b405dc4f5f2b831e18fdf0faec975c73b /README.md | |
| parent | 23b7a31dc97e046353a7fbb75f8c154627743275 (diff) | |
More Coq 8.4pl2 fixes
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions