(by Michael Froehlich, 1994-11-09)

This directory contains some tools for the interactive graph visualization 
system daVinci. They are all binaries, precompiled for Intel PC's with the
Linux 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 colors of the current daVinci version. 
These colos 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.

formatterm
---------
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 can specify 
the indent with the -i option (default is 8).
