[isabelle] Gource Visualization



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/





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.