diff options
| author | Matthieu Sozeau | 2014-06-10 11:08:56 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-06-10 11:08:56 +0200 |
| commit | 5e7b2a59524523c0f4f4631421a35dadeebbada8 (patch) | |
| tree | b240c128573cf24337dfa036a5b4b80ee7e33637 /kernel | |
| parent | cca38116e2ba07f296110519d0a94340bf85393f (diff) | |
| parent | 4b3a9e1d393d5a937470be91c9e8bec2f359e5c2 (diff) | |
Merge branch 'hott-test-suite-progress' of https://github.com/JasonGross/coq into trunk
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions