[graph-tool] Animations with graph-tool

Hi there, I've just included a section in the documentation on how to do animations with graph-tool: http://projects.skewed.de/graph-tool/doc/dev/demos/animation.html This is the first on planned series of "cookbook" entries on how to do useful things with graph-tool, which I intend to do as time permits. Suggestions on further topics and comments are welcome, as well as contributed examples. Cheers, Tiago -- Tiago de Paula Peixoto <tiago@skewed.de>