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=0000000000000000000000000000000000000000;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hp=445095f07162fac75d8d322f49bdda7477014ed1;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;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
deleted file mode 100644
index 445095f07..000000000
--- a/helm/DEVEL/pxp/pxp/doc/manual/src/pic/extension_general.fig
+++ /dev/null
@@ -1,47 +0,0 @@
-#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