From 64bdee825cf1324e2f0b4a5f41643262fd07b201 Mon Sep 17 00:00:00 2001 From: Matthieu Sozeau Date: Tue, 5 Jul 2022 11:11:47 +0200 Subject: [PATCH] Add Kenji to the authors --- README.md | 11 ++++++++--- coq-metacoq-erasure.opam | 1 + coq-metacoq-pcuic.opam | 1 + coq-metacoq-safechecker.opam | 1 + coq-metacoq-template.opam | 1 + coq-metacoq-translations.opam | 1 + coq-metacoq.opam | 1 + 7 files changed, 14 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index d02bd3171..8fc9accbc 100644 --- a/README.md +++ b/README.md @@ -5,7 +5,7 @@

[![Build status](https://github.com/MetaCoq/metacoq/actions/workflows/build.yml/badge.svg?branch=coq-8.15)](https://github.com/MetaCoq/metacoq/actions) [![MetaCoq Chat](https://img.shields.io/badge/zulip-join_chat-brightgreen.svg)](https://coq.zulipchat.com) -[![Open in Visual Studio Code](https://open.vscode.dev/badges/open-in-vscode.svg)](https://open.vscode.dev/metacoq/metacoq) +[![Open in Visual Studio Code](https://img.shields.io/static/v1?logo=visualstudiocode&label=&message=Open%20in%20Visual%20Studio%20Code&labelColor=2c2c32&color=007acc&logoColor=007acc)](https://open.vscode.dev/metacoq/metacoq) MetaCoq is a project formalizing Coq in Coq and providing tools for manipulating Coq terms and developing certified plugins @@ -250,14 +250,17 @@ alt="Yannick Forster" width="150px"/> src="https://github.com/MetaCoq/metacoq.github.io/raw/master/assets/meven-lennon-bertrand.jpeg" alt="Meven Lennon-Bertrand" width="150px"/>
+Gregory Malecha +alt="Jakob Botsch Nielsen" width="150px"/>

+alt="Matthieu Sozeau" width="150px"/> Nicolas Tabareau @@ -274,6 +277,7 @@ MetaCoq is developed by (left to right) Cyril Cohen, Yannick Forster, Meven Lennon-Bertrand, +Kenji Maillard, Gregory Malecha, Jakob Botsch Nielsen, Matthieu Sozeau, @@ -288,6 +292,7 @@ Copyright (c) 2015-2022 Abhishek Anand, Matthieu Sozeau Copyright (c) 2017-2022 Simon Boulier, Nicolas Tabareau, Cyril Cohen Copyright (c) 2018-2022 Danil Annenkov, Yannick Forster, Théo Winterhalter Copyright (c) 2020-2022 Jakob Botsch Nielsen, Meven Lennon-Bertrand +Copyright (c) 2022 Kenji Maillard ``` This software is distributed under the terms of the MIT license. diff --git a/coq-metacoq-erasure.opam b/coq-metacoq-erasure.opam index 3fb223b81..f7899070a 100644 --- a/coq-metacoq-erasure.opam +++ b/coq-metacoq-erasure.opam @@ -11,6 +11,7 @@ authors: ["Abhishek Anand " "Yannick Forster " "Fabian Kunze " "Meven Lennon-Bertrand " + "Kenji Maillard " "Gregory Malecha " "Jakob Botsch Nielsen " "Matthieu Sozeau " diff --git a/coq-metacoq-pcuic.opam b/coq-metacoq-pcuic.opam index bf4686c00..d7f43cb16 100644 --- a/coq-metacoq-pcuic.opam +++ b/coq-metacoq-pcuic.opam @@ -11,6 +11,7 @@ authors: ["Abhishek Anand " "Yannick Forster " "Fabian Kunze " "Meven Lennon-Bertrand " + "Kenji Maillard " "Gregory Malecha " "Jakob Botsch Nielsen " "Matthieu Sozeau " diff --git a/coq-metacoq-safechecker.opam b/coq-metacoq-safechecker.opam index 0e150af35..3c640db77 100644 --- a/coq-metacoq-safechecker.opam +++ b/coq-metacoq-safechecker.opam @@ -11,6 +11,7 @@ authors: ["Abhishek Anand " "Yannick Forster " "Fabian Kunze " "Meven Lennon-Bertrand " + "Kenji Maillard " "Gregory Malecha " "Jakob Botsch Nielsen " "Matthieu Sozeau " diff --git a/coq-metacoq-template.opam b/coq-metacoq-template.opam index cfd1f8de2..77604fdab 100644 --- a/coq-metacoq-template.opam +++ b/coq-metacoq-template.opam @@ -11,6 +11,7 @@ authors: ["Abhishek Anand " "Yannick Forster " "Fabian Kunze " "Meven Lennon-Bertrand " + "Kenji Maillard " "Gregory Malecha " "Jakob Botsch Nielsen " "Matthieu Sozeau " diff --git a/coq-metacoq-translations.opam b/coq-metacoq-translations.opam index 8db4acbe5..174777aea 100644 --- a/coq-metacoq-translations.opam +++ b/coq-metacoq-translations.opam @@ -11,6 +11,7 @@ authors: ["Abhishek Anand " "Yannick Forster " "Fabian Kunze " "Meven Lennon-Bertrand " + "Kenji Maillard " "Gregory Malecha " "Jakob Botsch Nielsen " "Matthieu Sozeau " diff --git a/coq-metacoq.opam b/coq-metacoq.opam index 6f5ead472..0bf14e598 100644 --- a/coq-metacoq.opam +++ b/coq-metacoq.opam @@ -11,6 +11,7 @@ authors: ["Abhishek Anand " "Yannick Forster " "Fabian Kunze " "Meven Lennon-Bertrand " + "Kenji Maillard " "Gregory Malecha " "Jakob Botsch Nielsen " "Matthieu Sozeau "