coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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
- [Coq-Club] Gource Visualization, Tjark Weber, 06/29/2013
- Re: [Coq-Club] Gource Visualization, Jacques-Pascal Deplaix, 06/29/2013
- Re: [Coq-Club] Gource Visualization, Tjark Weber, 06/29/2013
- Re: [Coq-Club] Gource Visualization, Jacques-Pascal Deplaix, 06/29/2013
Archive powered by MHonArc 2.6.18.