(by Michael Froehlich, 1993-10-26,
 update by Mattias Werner, 1994-03-29)

This directory contains some tools for the interactive graph visualization 
system daVinci. They are all SPARC binaries, precompiled for Sun Workstations 
with the Solaris 1.x (SunOS 4.1.x) operating system. Refer to the daVinci 
user manual for further details.

README
------
is this file.

checkterm
---------
is a syntactical analysis for the (external) term representation of daVinci 
graphs which can be loaded from a file. 'checkterm' checks the file
specified by the commandline argument.

daVincicolors
-------------
is a tool which shows the supported colours of daVinci V1.3. These colours
can be used as an attribute in the term representation of a graph to 
dye the nodes and edges. davincicolors has no commandline arguments.

flattenterm
-----------
is used for undoing the pretty-printing of a graph in term representation.
This tool is canceling all whitespaces in the graph file specified by the 
commandline argument. This tool is used for preparing formated terms to
be send to the daVinci application interface which does not allow 
whitespaces.

formaterm
---------
is a pretty printer for term representations of daVinci graphs. Each 
node and edge of the file specified by the commandline argument is placed on
a separate line in the ASCII term representation. Different indents of the 
nodes and edges shows the parent-child relationsships. A user could specify 
the indent with the -i option (default is 8).
