The Attributes menu on the graph menubar allows the GUI user to modify the attributes of the graph. It will be an easy change to allow the user to choose which attribute is displayed as the vertex or edge label, but this is not done as of 7/19/96. However, it is straightforward to modify the label, color, size, and/or width of vertices using the options of this menu.