coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Tjark Weber <tjark.weber AT it.uu.se>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: [Coq-Club] Gource Visualization
- Date: Sat, 29 Jun 2013 01:37:05 +0200
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/
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.