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/
signature.asc
Description: This is a digitally signed message part
------------------------------------------------------------------------------ This SF.net email is sponsored by Windows: Build for Windows Store. http://p.sf.net/sfu/windows-dev2dev
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
