1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/demo/coloring.lgf Tue Sep 13 12:41:02 2005 +0000
1.3 @@ -0,0 +1,36 @@
1.4 +@nodeset
1.5 +coords id
1.6 +(162, 142) 10
1.7 +(169, -35) 9
1.8 +(-154, -37) 8
1.9 +(-1, 12) 7
1.10 +(-87, -197) 6
1.11 +(360, 54) 5
1.12 +(193, 257) 4
1.13 +(-89, 224) 3
1.14 +(-327, 46) 2
1.15 +(157, -150) 1
1.16 +(-282, -149) 0
1.17 +@undiredgeset
1.18 + id
1.19 +9 10 17
1.20 +1 9 15
1.21 +3 9 14
1.22 +2 8 4
1.23 +6 8 1
1.24 +0 8 0
1.25 +8 7 7
1.26 +0 6 2
1.27 +9 5 16
1.28 +4 5 13
1.29 +1 5 12
1.30 +10 4 18
1.31 +3 4 11
1.32 +10 3 19
1.33 +7 3 10
1.34 +1 3 6
1.35 +2 3 3
1.36 +0 2 5
1.37 +7 1 9
1.38 +6 1 8
1.39 +@end