diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-06-02 18:36:25 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-06-02 18:36:25 +0200 |
commit | 2c3b041073910c7d84d7995992e014e56aaed1fb (patch) | |
tree | e8d2f41ab1dd81ac715e814b10645df37de328d9 /src/g_smtcoq.mlg | |
parent | 92f2a211fb112fef44f7b5b86fc70a2e5a9e639b (diff) | |
parent | 6a209bbc1bf5c90adb5f576093129fc62ce84780 (diff) | |
download | smtcoq-2c3b041073910c7d84d7995992e014e56aaed1fb.tar.gz smtcoq-2c3b041073910c7d84d7995992e014e56aaed1fb.zip |
Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11
Diffstat (limited to 'src/g_smtcoq.mlg')
0 files changed, 0 insertions, 0 deletions