Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Gource Visualization

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Gource Visualization


Chronological Thread 
  • From: Tjark Weber <tjark.weber AT it.uu.se>
  • To: Jacques-Pascal Deplaix <jp.deplaix AT gmail.com>
  • Cc: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] Gource Visualization
  • Date: Sat, 29 Jun 2013 12:28:43 +0200

On Sat, 2013-06-29 at 11:36 +0200, Jacques-Pascal Deplaix wrote:
> There is little bug in the video of the Coq development: At 3:30, the
> time jump from 2006 to 2001.

Thanks for pointing this out. The video was simply generated from the
Coq SVN repository, where the same jump in time is present between
revisions 8141 and 8143.

If someone wants to explain how the existing data should be organized
into a more coherent time line, I'd be happy to re-generate the video
accordingly.

Best,
Tjark

Attachment: signature.asc
Description: This is a digitally signed message part




Archive powered by MHonArc 2.6.18.

Top of Page