demo/coloring.lgf
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