diff options
| author | Chantal Keller <Chantal.Keller@inria.fr> | 2019-03-12 09:45:55 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@inria.fr> | 2019-03-12 09:45:55 +0100 |
| commit | e3ab22e6278670fadd5465327c5541d15049f526 (patch) | |
| tree | 3ca81a2940a6453e3f4f912d1fa09e3ff1eda621 /src/versions/standard/structures.mli | |
| parent | a88e3b3b6ad01a9b85c828b9a1225732275affee (diff) | |
| download | smtcoq-e3ab22e6278670fadd5465327c5541d15049f526.tar.gz smtcoq-e3ab22e6278670fadd5465327c5541d15049f526.zip | |
Switch to 8.8 in INSTALL.md
Diffstat (limited to 'src/versions/standard/structures.mli')
0 files changed, 0 insertions, 0 deletions