(by Mattias Werner, July 13, 1998)

This directory contains the graph editor application for the interactive
graph visualization system daVinci. The editor has to be connected to the
daVinci API. Everything about the graph editor is described in the online
documentation (in chapter 'Reference') which is available in the daVinci
Help menu.

readme
------
is this file.

grapheditor
-----------
is the binary file of the graph editor. Refer to the daVinci online
documentation for details about using the editor.
