1. 2012-05-31 [4] [graphviz-devel] dot crashes during layout graphviz-dev Emden R. Gansner 2. 2012-05-31 [5] [graphviz-devel] [patch] penstyle in HTML-like label graphviz-dev Emden R. Gansner 3. 2012-05-23 [2] [graphviz-devel] Extracting the node layout algorithm graphviz-dev Ryan Schmidt 4. 2012-05-22 [2] [graphviz-devel] [patch] giving an id to a port rendered in svg output graphviz-dev Emden R. Gansner 5. 2012-05-22 [5] [graphviz-devel] [patch] attributes(href, target, and tooltip) for port graphviz-dev Masatake YAMATO 6. 2012-05-21 [5] [graphviz-devel] dot Segmentation fault: style=invis and label on the sa graphviz-dev John Ellson 7. 2012-05-21 [9] [graphviz-devel] Re: semicircle arrow shape graphviz-dev Jeremy Murphy 8. 2012-05-18 [3] [graphviz-devel] installation and execution issues graphviz-dev John Ellson 9. 2012-05-15 [2] [graphviz-devel] Extremely sparse graphviz layout graphviz-dev Emden R. Gansner