The Coq mailing list

[Benjamin Pierce <bcpierce AT cis.upenn.edu>]

>  Cocorico! is now located at
>
> http://logical.futurs.inria.fr/cocorico/
>
> This transition happened a while ago (December) and was announced on  
> the
> wiki itself.
>
> The source of confusion might be that the old URL still contains a
> *read-only* version of the wiki at the time of the migration (together
> with a banner on each page indicating the new address). Since at that
> time we had a problem with spammer scripts we decided to not set-up an
> automatic redirect immediately.  I can set-up a redirect now, but  
> please
> forget the old URL and use the above URL in your links/bookmarks.

Yes, that certainly reduces the confusion -- thanks.

The remaining confusion is that some of the current contents of  
Cocorico seem to be in a somewhat skeletal or preliminary state, which  
makes it hard to know what parts are really useful, up to date, and  
actively maintained.  Would it make sense to move the more sketchy  
pages into a separate category ("Under Construction" or something) so  
that it is clearer which are the solid/useful bits?

   - Benjamin


On Apr 21, 2008, at 9:22 AM, Milad Niqui wrote:
> Benjamin Pierce 
> <bcpierce AT cis.upenn.edu>
>  writes:
>
> > > > 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?
> >
> > Hi Stefano,
> >
> > To be honest, we've had some trouble understanding what is the status
> > of existing Coq wikis (the "official" one and Cocorico).  I posted a
> > message here in the fall asking which one was under active
> > development and received no responses; then at POPL I had some
> > discussions that indicated that Cocorico was now the main one but
> > that it was in the process of being moved and reorganized.  We
> > followed this up with some emails asking where we should add the
> > material we were thinking of putting together, but these have not
> > been answered yet.  Finally we decided that it was better to go ahead
> > and collect the material and transfer it to the main Coq wiki
> > whenever it became clearer exactly where that belonged.  If you or
> > someone else can help us with that, we'll be more than happy to
> > migrate our stuff.
> >  Cocorico! is now located at
> >
> > http://logical.futurs.inria.fr/cocorico/
> >
> > This transition happened a while ago (December) and was announced  
> > on the
> > wiki itself.
> >
> > The source of confusion might be that the old URL still contains a
> > *read-only* version of the wiki at the time of the migration  
> > (together
> > with a banner on each page indicating the new address). Since at that
> > time we had a problem with spammer scripts we decided to not set-up  
> > an
> > automatic redirect immediately.  I can set-up a redirect now, but  
> > please
> > forget the old URL and use the above URL in your links/bookmarks.
>
> Hi,
>
> Regards,
>
> Milad
>
> --------------------------------------------------------
> Bug reports: http://logical.futurs.inria.fr/coq-bugs
> Archives: http://pauillac.inria.fr/pipermail/coq-club
>          http://pauillac.inria.fr/bin/wilma/coq-club
> Info: http://pauillac.inria.fr/mailman/listinfo/coq-club