Cute! Michael
On 28/06/2013, at 23:36, Tjark Weber <[email protected]> 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 > [email protected] > https://lists.sourceforge.net/lists/listinfo/hol-info ------------------------------------------------------------------------------ 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
