From a0654d8db972a81bfcb6b0ba9c0cf34b98404606 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 20 Mar 2021 22:05:57 +0000 Subject: [PATCH] =?UTF-8?q?Added=20Nicolas=20M=C3=A9ric=20=20as=20contribu?= =?UTF-8?q?tor.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- README.md | 1 + .../technical_report/Isabelle_DOF-Manual/document/preamble.tex | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index ce7e26d..d4c770c 100755 --- a/README.md +++ b/README.md @@ -155,6 +155,7 @@ Main contacts: * Idir Ait-Sadoune * Paolo Crisafulli * Chantal Keller +* Nicolas Méric ## License diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex index 1c0b6f0..7f4e4bf 100755 --- a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex +++ b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex @@ -81,7 +81,7 @@ release is \isadoflatestversion{} (\href{https://doi.org/\isadoflatestdoi}{doi:\ \url{\dofurl}. \paragraph*{Contributors.} We would like to thank the following contributors to \isadof -(in alphabetical order): Idir Ait-Sadoune, Paolo Crisafulli, and Chantal Keller. +(in alphabetical order): Idir Ait-Sadoune, Paolo Crisafulli, Chantal Keller, and Nicolas M{\'e}ric. \paragraph*{Acknowledgments.} This work has been partially supported by IRT SystemX, Paris-Saclay, France, and therefore granted with public funds of the Program ``Investissements d'Avenir.''