coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Pierre Boutillier <pierre.boutillier AT pps.univ-paris-diderot.fr>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Coq Logo
- Date: Wed, 21 May 2014 23:22:33 +0200
Hi,
After Coq first ACM prize, I complained that I do not know any such thing.
PMP makes in 10 minutes
Début du message réexpédié :
De: Pierre-Marie Pédrot <pierre-marie.pedrot AT inria.fr>Objet: Icône CoqDate: 13 septembre 2013 17:32:06 UTC+2À: Pierre Boutillier <pierre.boutillier AT inria.fr>
This is a beginning…
Pierre B.
PS: At that time, I realized that this icon was 10 years old and that ACM prizes may be a good opportunity to organize a « propose the next Coq icon » challenge in order to make goodies with it. It never happened so far but a spontaneous new Coq icon proposal may be take into account ;-)
Le 21 mai 2014 à 20:09, Jason Gross <jasongross9 AT gmail.com> a écrit :
Hi,Does anyone have a high-resolution or vector version of the Coq logo, preferably in color?Thanks,Jason
- [Coq-Club] Coq Logo, Jason Gross, 05/21/2014
- Re: [Coq-Club] Coq Logo, Pierre Boutillier, 05/21/2014
- Re: [Coq-Club] Coq Logo, Pierre-Marie Pédrot, 05/22/2014
- Re: [Coq-Club] Coq Logo, CJ Bell, 05/22/2014
- Re: [Coq-Club] Coq Logo, Pierre-Marie Pédrot, 05/22/2014
- Re: [Coq-Club] Coq Logo, Pierre Boutillier, 05/21/2014
Archive powered by MHonArc 2.6.18.