Tue, 06 Jan 2015 16:41:31 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Tue, 06 Jan 2015 16:33:30 +0100 | wenzelm | explict layout graph structure, with dummies and coordinates; | file | diff | annotate |
Mon, 05 Jan 2015 23:29:38 +0100 | wenzelm | clarified visualizer parameters; | file | diff | annotate |
Mon, 05 Jan 2015 22:41:09 +0100 | wenzelm | proper bounding box including dummies; | file | diff | annotate |