diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-10-20 17:39:00 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-10-20 17:39:00 +0200 |
| commit | 5d38159d419e1c690e455277bf913dd77cb675df (patch) | |
| tree | 999d9110611ba067b65a7877c1a540595ebd37ed /doc | |
| parent | d351cd0681cb1feb5a60a112b377521bbb3be149 (diff) | |
| parent | 45f18f975202da6b0e41b1c117ad0c55d85f3d9c (diff) | |
| download | smtcoq-5d38159d419e1c690e455277bf913dd77cb675df.tar.gz smtcoq-5d38159d419e1c690e455277bf913dd77cb675df.zip | |
Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions