(by Mattias Werner, 1994-03-29)

This directory contains the grapheditor for the interactive graph visualization 
system daVinci. It's a binary, precompiled for Intel PC's with the Linux 
operating system. Refer to the daVinci user manual and to the man-page in
../man for further details.

README
------
is this file.

grapheditor
-----------
is the executable pre-compiled file of the grapheditor. Refer to the daVinci 
user manual and to the man-page in ../man for details. 
