diff options
author | 2014-05-09 12:49:24 +0200 | |
---|---|---|
committer | 2014-05-09 12:49:24 +0200 | |
commit | 79220cec31a9c2c5cafc678b36f7af374417ecd5 (patch) | |
tree | de7c773f120639c6c12aa28249bf00a4d4fbdbc5 /tactics/tactics.ml | |
parent | 3ffbaec15938bd2dc92753ac3c1e2cc097811f50 (diff) | |
parent | d1a39e06c44dc451d8a56a286017885d400ac435 (diff) |
Merge branch 'working-polyproj-tests' of https://github.com/JasonGross/coq into JasonGross-working-polyproj-tests
Diffstat (limited to 'tactics/tactics.ml')
0 files changed, 0 insertions, 0 deletions