diff options
| author | Enrico Tassi | 2018-04-20 11:09:07 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2018-04-20 11:09:07 +0200 |
| commit | 536499fe46edbe2c0473b81ba5f7cc15b4ff9edf (patch) | |
| tree | e64d42918a9282342fc1aebd6303414f33633f20 /_CoqProject | |
| parent | b78523ff2c3349e98686871891028069edfa7523 (diff) | |
update installation instructions
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions