diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-06-02 18:32:24 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-06-02 18:32:24 +0200 |
| commit | 6a209bbc1bf5c90adb5f576093129fc62ce84780 (patch) | |
| tree | af0db7d79d4e2ecb4443c54a6f4e50da1d88378f /src/verit | |
| parent | b40fefbb52afbc7deaa0b591d155bf2e84d0afba (diff) | |
| parent | efb1a48817405c6ad894d2088077f70c3d7eb15b (diff) | |
| download | smtcoq-6a209bbc1bf5c90adb5f576093129fc62ce84780.tar.gz smtcoq-6a209bbc1bf5c90adb5f576093129fc62ce84780.zip | |
Merge remote-tracking branch 'remotes/origin/master' into coq-8.10
Diffstat (limited to 'src/verit')
0 files changed, 0 insertions, 0 deletions