diff options
author | Chantal Keller <Chantal.Keller@inria.fr> | 2015-01-09 16:39:01 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@inria.fr> | 2015-01-09 16:39:01 +0100 |
commit | d1cb062655523070992a524d671ea7e7b9fe7220 (patch) | |
tree | eff1e0af17f984f473381ff715a8b1d6f60f5fb6 /INSTALL.md | |
parent | 00a65e0c107a4456328351312e450f8c54ccb793 (diff) | |
download | smtcoq-d1cb062655523070992a524d671ea7e7b9fe7220.tar.gz smtcoq-d1cb062655523070992a524d671ea7e7b9fe7220.zip |
Improved README
Diffstat (limited to 'INSTALL.md')
0 files changed, 0 insertions, 0 deletions