diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-09-28 16:08:14 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-09-28 16:08:14 +0200 |
commit | e0dcd7c140cfec89300fa9f0a8a0f9b8d12633e0 (patch) | |
tree | 0c491f3042742601df2119e8b72312df74df7979 /unit-tests | |
parent | b3f7d3361fac0d1771e6ea3eb277ad858ce38760 (diff) | |
download | smtcoq-e0dcd7c140cfec89300fa9f0a8a0f9b8d12633e0.tar.gz smtcoq-e0dcd7c140cfec89300fa9f0a8a0f9b8d12633e0.zip |
Updated the installation instructions
Diffstat (limited to 'unit-tests')
0 files changed, 0 insertions, 0 deletions