diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-09-23 16:01:42 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-09-23 16:01:42 +0200 |
| commit | 4be43131e2b3dc60a530de5b3a8f23cd93564ad7 (patch) | |
| tree | 7743e1fbae5ee7b7ae72b16d35ea7fa38a9e46f2 /README.md | |
| parent | fa9d33eea03bb59d55ee4dccf4fecb8b1520e69d (diff) | |
| download | smtcoq-4be43131e2b3dc60a530de5b3a8f23cd93564ad7.tar.gz smtcoq-4be43131e2b3dc60a530de5b3a8f23cd93564ad7.zip | |
More modularity on the format of traces depending on the version of coq
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions