demo/coloring.lgf
changeset 1909 2d806130e700
parent 1901 723b2b81d900
     1.1 --- a/demo/coloring.lgf	Thu Jan 26 06:44:22 2006 +0000
     1.2 +++ b/demo/coloring.lgf	Thu Jan 26 15:42:13 2006 +0000
     1.3 @@ -11,7 +11,7 @@
     1.4  (-327, 46)	2	
     1.5  (157, -150)	1	
     1.6  (-282, -149)	0	
     1.7 -@undiredgeset 
     1.8 +@uedgeset 
     1.9  		label	
    1.10  9	10	17	
    1.11  1	9	15