X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Fdoc%2Fmanual%2Fsrc%2Fpic%2Fextension_general.fig;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Fdoc%2Fmanual%2Fsrc%2Fpic%2Fextension_general.fig;h=445095f07162fac75d8d322f49bdda7477014ed1;hb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;hp=0000000000000000000000000000000000000000;hpb=758057e85325f94cd88583feb1fdf6b038e35055;p=helm.git

diff --git a/helm/DEVEL/pxp/pxp/doc/manual/src/pic/extension_general.fig b/helm/DEVEL/pxp/pxp/doc/manual/src/pic/extension_general.fig
new file mode 100644
index 000000000..445095f07
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/doc/manual/src/pic/extension_general.fig
@@ -0,0 +1,47 @@
+#FIG 3.2
+Portrait
+Center
+Metric
+A4      
+100.00
+Single
+-2
+1200 2
+1 3 0 1 0 7 100 0 15 0.000 1 0.0000 1575 2250 229 229 1575 2250 1800 2295
+1 3 0 1 0 7 100 0 15 0.000 1 0.0000 1575 3375 225 225 1575 3375 1800 3375
+1 3 0 1 0 7 100 0 15 0.000 1 0.0000 675 3375 229 229 675 3375 900 3420
+1 3 0 1 0 7 100 0 15 0.000 1 0.0000 2475 3375 229 229 2475 3375 2700 3420
+1 3 0 1 0 7 100 0 10 0.000 1 0.0000 3600 2475 180 180 3600 2475 3780 2475
+1 3 0 1 0 7 100 0 10 0.000 1 0.0000 2880 2475 180 180 2880 2475 3060 2475
+1 3 0 1 0 7 100 0 10 0.000 1 0.0000 4320 2475 186 186 4320 2475 4500 2520
+1 3 0 1 0 7 100 0 10 0.000 1 0.0000 3600 1485 186 186 3600 1485 3780 1530
+2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
+	 675 3150 1395 2385
+2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
+	 1575 2475 1575 3150
+2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
+	 1755 2385 2475 3150
+2 1 1 1 0 7 100 0 -1 4.000 0 0 -1 1 0 2
+	0 0 1.00 60.00 120.00
+	 1537 2010 3412 1462
+2 1 1 1 0 7 100 0 -1 4.000 0 0 -1 1 0 2
+	0 0 1.00 60.00 120.00
+	 3412 1537 1672 2047
+2 1 1 1 0 7 100 0 -1 4.000 0 0 -1 1 1 2
+	0 0 1.00 60.00 120.00
+	0 0 1.00 60.00 120.00
+	 810 3195 2707 2512
+2 1 1 1 0 7 100 0 -1 4.000 0 0 -1 1 1 2
+	0 0 1.00 60.00 120.00
+	0 0 1.00 60.00 120.00
+	 1740 3217 3442 2580
+2 1 1 1 0 7 100 0 -1 4.000 0 0 -1 1 1 2
+	0 0 1.00 60.00 120.00
+	0 0 1.00 60.00 120.00
+	 2640 3210 4177 2610
+4 0 0 80 0 14 12 0.0000 4 75 105 3555 1530 x\001
+4 0 0 80 0 14 12 0.0000 4 75 105 1530 2295 n\001
+4 0 0 80 0 12 12 0.2967 4 135 1365 1658 1950 n # extension\001
+4 0 0 80 0 12 12 0.2967 4 135 840 2475 1950 x # node\001
+4 0 0 80 0 16 12 0.0000 4 135 1140 1020 4050 The node tree\001
+4 0 0 80 0 16 12 0.0000 4 135 1245 3225 3285 The extensions\001