equal
deleted
inserted
replaced
42 This provides us with some special purpose graph \ref maps "maps". |
42 This provides us with some special purpose graph \ref maps "maps". |
43 \skipline iterable |
43 \skipline iterable |
44 |
44 |
45 The following header defines a simple data structure to store and manipulate |
45 The following header defines a simple data structure to store and manipulate |
46 planar coordinates. It will be used to draw the result. |
46 planar coordinates. It will be used to draw the result. |
47 \skipline xy |
47 \skipline dim2 |
48 |
48 |
49 And finally, this header contains a simple graph drawing utility. |
49 And finally, this header contains a simple graph drawing utility. |
50 \skipline eps |
50 \skipline eps |
51 |
51 |
52 As we don't want to type in \ref lemon "lemon::" million times, the |
52 As we don't want to type in \ref lemon "lemon::" million times, the |