The Coq mailing list

[Stefano Zacchiroli <zack AT pps.jussieu.fr>]

On Fri, Apr 18, 2008 at 03:14:44PM -0400, Jeffrey Vaughan wrote:
> Also, please let us know if it's *not*  okay for us to repost your
> project description on our wiki.

I really don't get why you guys started a new wiki to store first Coq
Tips / FAQ and now, apparently, to collect list of groups working on
programming language formalization using Coq.  In your first post you
mention that in the future you might be migrating to Cocorico, but this
as well doesn't seem to be a good idea: the later, the worst. Can you
please migrate your stuff to Cocorico so as to avoid duplication of
efforts?

TIA,
Cheers.

-- 
Stefano Zacchiroli -*- PhD in Computer Science ............... now what?
zack@{upsilon.cc,cs.unibo.it,debian.org}
  -<%>-  http://upsilon.cc/zack/
(15:56:48)  Zack: e la demo dema ?    /\    All one has to do is hit the
(15:57:15)  Bac: no, la demo scema    \/    right keys at the right time