diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2016-11-14 14:09:08 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2016-11-14 14:17:11 +0100 |
commit | dfefd12ee432e5b0d145934e74bb939ddecfa522 (patch) | |
tree | 33cf38c68deac1bc08ae98795d8a6af2947cdf4d /test-suite/success/rewrite_strat.v | |
parent | 36fd5ebe558b8a51c2929077bde9f0460c4313c3 (diff) |
Remove README.win until we come up with new instructions.
The recommended way to install Coq under windows is anyway to use the
precompiled installer.
Diffstat (limited to 'test-suite/success/rewrite_strat.v')
0 files changed, 0 insertions, 0 deletions