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 /LICENSE | |
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 'LICENSE')
0 files changed, 0 insertions, 0 deletions