diff options
| author | Maxime Dénès | 2016-11-14 14:09:08 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2016-11-14 14:17:11 +0100 |
| commit | dfefd12ee432e5b0d145934e74bb939ddecfa522 (patch) | |
| tree | 33cf38c68deac1bc08ae98795d8a6af2947cdf4d /kernel/type_errors.ml | |
| 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 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions