gml4gtk/data/t13.dot

graph "graph.dot" {

   size="6.0,7.0";

node [shape=circle,fixedsize=true,style=filled,
      color="khaki",fontcolor="black",fontsize=18];

   1  [label="1", pos="0.306656,0.999996"];
   2  [label="2", pos="0.000000,0.306649"];
   3  [label="3", pos="1.000000,0.693342"];
   4  [label="4", pos="0.693345,0.000004"];

edge [color="blue"];

   1  --   2;
   1  --   4;
   1  --   3;
   2  --   3;
   2  --   4;
   3  --   4;

}