daVinci name "daVinci"
daVinci exec "/usr/X11R6/bin/daVinci &"
daVinci desc "generic visualization system for automatic generation of high-quality drawings of directed graphs"
daVinci group "X11/Applications/Graphics"
