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 | |
| parent | 7ae73d68ee8b3cc950a23b59d0891885ef6de42e (diff) | |
| download | smtcoq-ce87b450eee0203617104f16f5af43d9dab4ff22.tar.gz smtcoq-ce87b450eee0203617104f16f5af43d9dab4ff22.zip | |
Other corrections in the installation instructions
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions