The Coq mailing list

[Jacques-Pascal Deplaix <jp.deplaix AT gmail.com>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

There is little bug in the video of the Coq development: At 3:30, the
time jump from 2006 to 2001.

On 06/29/2013 01:37 AM, Tjark Weber wrote:
> Hi,
>
> I've used Gource [1] to visualize the development history (as recorded
> in public repository logs) of Coq, HOL4 and Isabelle. Enjoy!
>
> 14 years of Coq development:
> http://youtu.be/qyM4D6-623A
>
> 14 years of HOL4 development:
> http://youtu.be/uwLMZFEiQp4
>
> 20 years of Isabelle development:
> http://youtu.be/tF3ubZlsrsQ
>
> Best,
> Tjark
>
> [1] https://code.google.com/p/gource/

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.19 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/

iF4EAREIAAYFAlHOqrEACgkQOjvPLgeRuomCkQD+K4yyW0nUyM6QDQxh+JeLEGNP
EVFQFxoDxylLJkbR6VIA/2xVFx12ccUK3K0gSk/ExkzC5R3+aArF3EV5D7Yl7etL
=8zOr
-----END PGP SIGNATURE-----