The Coq mailing list

[Freek Wiedijk <freek AT cs.ru.nl>]

Dear all,

Now that I have accidentally put something on the list
after all, let's chime in:

>I happen to agree with Beta's comment (in another branch of this
>growing tree) that the logo should be as simple as possible in order to
>work well at various sizes and resolutions. So while the "mechanical
>rooster" looks nice, I'm not sure it's a good choice as a "brand logo".
>Just look at the level of detail in modern (high-value) brands.

I think that _if_ there is a new logo, it should not
be designed by a computer scientist hobbyist, but by a
professional logo designer.  My two cents.  Surely INRIA
has some money for that?

At least, if we think Coq is important enough for this.
It's only an academic system after all.

As for the name, I think it would be good to undo Huet's
rowdiness, but it's surely too late for that by now.
But maybe it's proper to have some apologetic text about
this issue in the introduction of the Coq manual?

Freek