diff options
author | Arnaud Spiwack <arnaud@spiwack.net> | 2014-07-25 15:21:15 +0200 |
---|---|---|
committer | Arnaud Spiwack <arnaud@spiwack.net> | 2014-07-25 19:06:22 +0200 |
commit | fc4fa4e42289cd13a8732ff2e08bf33ba1708928 (patch) | |
tree | e3d80ca3ff270688cef7dbe4acb48d950333bae9 /tactics | |
parent | 6f7aebb09c89e95bd7520dad482f20e7a11fb279 (diff) |
CHANGES: yellow in Coqide.
Diffstat (limited to 'tactics')
0 files changed, 0 insertions, 0 deletions