A .grfA .grf file is a text file that contains presentation information in addition to information representing the contents of the boxes and the transitions of the graph. A .grf file begins with the following lines: #Unigraph{ SIZE 1313 950{ FONT Times New Roman: 12{ OFONT Times New Roman:B 12{ BCOLOR 16777215{ FCOLOR 0{ ACOLOR 12632256{ SCOLOR 16711680{ CCOLOR 255{ DBOXES... file is a text file that contains presentation information in addition to information
representing the contents of the boxes and the transitions of the graph. A
.grfA .grf file is a text file that contains presentation information in addition to information representing the contents of the boxes and the transitions of the graph. A .grf file begins with the following lines: #Unigraph{ SIZE 1313 950{ FONT Times New Roman: 12{ OFONT Times New Roman:B 12{ BCOLOR 16777215{ FCOLOR 0{ ACOLOR 12632256{ SCOLOR 16711680{ CCOLOR 255{ DBOXES... file begins with the following lines:
#Unigraph{
SIZE 1313 950{
FONT Times New Roman: 12{
OFONT Times New Roman:B 12{
BCOLOR 16777215{
FCOLOR 0{
ACOLOR 12632256{
SCOLOR 16711680{
CCOLOR 255{
DBOXES y{
DFRAME y{