Re: [isabelle] [Hol-info] Gource Visualization



Cute!

Michael

On 28/06/2013, at 23:36, Tjark Weber <tjark.weber at it.uu.se> 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/
> 
> ------------------------------------------------------------------------------
> This SF.net email is sponsored by Windows:
> 
> Build for Windows Store.
> 
> http://p.sf.net/sfu/windows-dev2dev
> _______________________________________________
> hol-info mailing list
> hol-info at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/hol-info




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