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