]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_general.fig
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / doc / manual / src / pic / node_general.fig
1 #FIG 3.2
2 Portrait
3 Center
4 Metric
5 A4      
6 100.00
7 Single
8 -2
9 1200 2
10 1 3 0 1 0 7 100 0 15 0.000 1 0.0000 2025 2025 229 229 2025 2025 2250 2070
11 1 3 0 1 0 7 100 0 15 0.000 1 0.0000 1350 2025 225 225 1350 2025 1575 2025
12 1 3 0 1 0 7 100 0 15 0.000 1 0.0000 2700 2025 225 225 2700 2025 2925 2025
13 1 3 0 1 0 7 100 0 15 0.000 1 0.0000 2025 1125 225 225 2025 1125 2250 1125
14 2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
15         1 0 1.00 60.00 120.00
16          1380 1800 1845 1275
17 2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
18         1 1 1.00 60.00 120.00
19          1815 1207 1282 1815
20 2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
21         1 0 1.00 60.00 120.00
22          2055 1792 2055 1350
23 2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
24         1 1 1.00 60.00 120.00
25          1980 1350 1980 1807
26 2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
27         1 1 1.00 60.00 120.00
28          2190 1297 2550 1867
29 2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
30         1 0 1.00 60.00 120.00
31          2602 1807 2220 1237
32 2 2 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 5
33          450 675 3150 675 3150 2475 450 2475 450 675
34 4 0 0 100 0 12 10 0.0000 4 120 540 2377 1342 parent\001
35 4 0 0 100 0 12 10 0.0000 4 105 810 645 1628 sub_nodes\001