]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/doc/manual/src/pic/extension_general.fig
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / pxp / doc / manual / src / pic / extension_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 1575 2250 229 229 1575 2250 1800 2295
11 1 3 0 1 0 7 100 0 15 0.000 1 0.0000 1575 3375 225 225 1575 3375 1800 3375
12 1 3 0 1 0 7 100 0 15 0.000 1 0.0000 675 3375 229 229 675 3375 900 3420
13 1 3 0 1 0 7 100 0 15 0.000 1 0.0000 2475 3375 229 229 2475 3375 2700 3420
14 1 3 0 1 0 7 100 0 10 0.000 1 0.0000 3600 2475 180 180 3600 2475 3780 2475
15 1 3 0 1 0 7 100 0 10 0.000 1 0.0000 2880 2475 180 180 2880 2475 3060 2475
16 1 3 0 1 0 7 100 0 10 0.000 1 0.0000 4320 2475 186 186 4320 2475 4500 2520
17 1 3 0 1 0 7 100 0 10 0.000 1 0.0000 3600 1485 186 186 3600 1485 3780 1530
18 2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
19          675 3150 1395 2385
20 2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
21          1575 2475 1575 3150
22 2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
23          1755 2385 2475 3150
24 2 1 1 1 0 7 100 0 -1 4.000 0 0 -1 1 0 2
25         0 0 1.00 60.00 120.00
26          1537 2010 3412 1462
27 2 1 1 1 0 7 100 0 -1 4.000 0 0 -1 1 0 2
28         0 0 1.00 60.00 120.00
29          3412 1537 1672 2047
30 2 1 1 1 0 7 100 0 -1 4.000 0 0 -1 1 1 2
31         0 0 1.00 60.00 120.00
32         0 0 1.00 60.00 120.00
33          810 3195 2707 2512
34 2 1 1 1 0 7 100 0 -1 4.000 0 0 -1 1 1 2
35         0 0 1.00 60.00 120.00
36         0 0 1.00 60.00 120.00
37          1740 3217 3442 2580
38 2 1 1 1 0 7 100 0 -1 4.000 0 0 -1 1 1 2
39         0 0 1.00 60.00 120.00
40         0 0 1.00 60.00 120.00
41          2640 3210 4177 2610
42 4 0 0 80 0 14 12 0.0000 4 75 105 3555 1530 x\001
43 4 0 0 80 0 14 12 0.0000 4 75 105 1530 2295 n\001
44 4 0 0 80 0 12 12 0.2967 4 135 1365 1658 1950 n # extension\001
45 4 0 0 80 0 12 12 0.2967 4 135 840 2475 1950 x # node\001
46 4 0 0 80 0 16 12 0.0000 4 135 1140 1020 4050 The node tree\001
47 4 0 0 80 0 16 12 0.0000 4 135 1245 3225 3285 The extensions\001