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