diff options
author | Chantal Keller <Chantal.Keller@inria.fr> | 2015-02-14 15:12:19 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@inria.fr> | 2015-02-14 15:12:19 +0100 |
commit | 80d134cf41564b05a02ebd23ef495fbd82db292d (patch) | |
tree | 61bb8a8dd32a1c268e6b8d46d82f86498ba76c0f /src | |
parent | ce87b450eee0203617104f16f5af43d9dab4ff22 (diff) | |
download | smtcoq-80d134cf41564b05a02ebd23ef495fbd82db292d.tar.gz smtcoq-80d134cf41564b05a02ebd23ef495fbd82db292d.zip |
Corrections in the installation instructions
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions