changeset 1901 | 723b2b81d900 |
parent 1683 | 13648409b596 |
child 1909 | 2d806130e700 |
1.1 --- a/demo/coloring.lgf Thu Jan 19 16:56:39 2006 +0000 1.2 +++ b/demo/coloring.lgf Tue Jan 24 16:07:38 2006 +0000 1.3 @@ -1,5 +1,5 @@ 1.4 @nodeset 1.5 -coords id 1.6 +coords label 1.7 (162, 142) 10 1.8 (169, -35) 9 1.9 (-154, -37) 8 1.10 @@ -12,7 +12,7 @@ 1.11 (157, -150) 1 1.12 (-282, -149) 0 1.13 @undiredgeset 1.14 - id 1.15 + label 1.16 9 10 17 1.17 1 9 15 1.18 3 9 14