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