(by Michael Froehlich, June 21, 1996)

This directory contains some tools for the interactive graph visualization 
system daVinci. They are described in detail in the online documentation
which is available in the daVinci Help menu.

README
------
is this file.

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

flattenterm
-----------
is used for undoing pretty-printing of a graph file in term representation 
format. Pretty-printing can be done with tool formatterm, see below. 
flattenterm canceles all whitespace in the graph file specified by the 
commandline argument. This tool is used for preparing formated terms to be 
send to the daVinci API which does not allow whitespaces (especially return 
characters).

formatterm
---------
is a pretty printer for a graph file in term representations format. Each 
node and edge in the file specified by the commandline argument is placed on
a separate line. Different indents for the nodes and edges are used to show 
the parent/child relationsships. A user can specify this indent with the -i 
option (default is 8).
