diff options
author | Chantal Keller <Chantal.Keller@inria.fr> | 2015-02-14 15:08:21 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@inria.fr> | 2015-02-14 15:08:21 +0100 |
commit | ce87b450eee0203617104f16f5af43d9dab4ff22 (patch) | |
tree | ff625240cd291fc4c993bfee9b63d8cac43e4373 /src/spl | |
parent | 7ae73d68ee8b3cc950a23b59d0891885ef6de42e (diff) | |
download | smtcoq-ce87b450eee0203617104f16f5af43d9dab4ff22.tar.gz smtcoq-ce87b450eee0203617104f16f5af43d9dab4ff22.zip |
Other corrections in the installation instructions
Diffstat (limited to 'src/spl')
0 files changed, 0 insertions, 0 deletions