coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Jonathan <jonikelee AT gmail.com>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Coq Logo
- Date: Fri, 20 Jun 2014 14:03:24 -0400
On 06/20/2014 10:58 AM, Jason Gross wrote:
In case anyone is interested, here's an svg version (modified from CJ's)
that includes the alternate color of the feet, as in the logo on the
homepage.
Hmmm... Big hair and khakis. Can't decide if it's from the '70's or '80's?
-- Jonathan
- Re: [Coq-Club] Coq Logo, Jason Gross, 06/20/2014
- Re: [Coq-Club] Coq Logo, Jonathan, 06/20/2014
Archive powered by MHonArc 2.6.18.