diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-09-16 15:48:34 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-09-16 15:48:34 +0200 |
| commit | 60a897604a27a867a68e582aa1279180e89c0735 (patch) | |
| tree | fb39c268c0c3d143eb93fe21c8299dbf5fce1b62 | |
| parent | b130e703876952257fe5affb65b4e221ca2b2333 (diff) | |
| parent | 9c538122389bc6b87ff093fd72b20d4f46f2cb1a (diff) | |
| download | smtcoq-60a897604a27a867a68e582aa1279180e89c0735.tar.gz smtcoq-60a897604a27a867a68e582aa1279180e89c0735.zip | |
Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13
| -rw-r--r-- | AUTHORS | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -2,6 +2,7 @@ Authors: Michaël Armand Valentin Blot Amina Bousalem + Boris Djalal Quentin Garchery Benjamin Grégoire Chantal Keller @@ -12,4 +13,5 @@ Institutes: École Polytechnique Inria The University of Iowa + Université Paris-Saclay Université Paris-Sud |