| Sun, 25 Jan 2015 20:16:27 +0100 | wenzelm | support for off-line graph output, without GUI thread; | file | diff | annotate |
| Mon, 19 Jan 2015 21:06:01 +0100 | wenzelm | tuned colors; | file | diff | annotate |
| Mon, 19 Jan 2015 16:38:01 +0100 | wenzelm | clarified edge_color; | file | diff | annotate |
| Sun, 18 Jan 2015 23:07:00 +0100 | wenzelm | discontinued attempt at alphabetic_order -- selection via regex should be sufficient; | file | diff | annotate |
| Sun, 18 Jan 2015 22:22:12 +0100 | wenzelm | obsolete -- full layout takes approx. 100ms; | file | diff | annotate |
| Sun, 18 Jan 2015 19:21:10 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 18 Jan 2015 17:34:14 +0100 | wenzelm | support for tree view on graph nodes; | file | diff | annotate |