X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Fdoc%2Fmanual%2Fsrc%2Fpic%2Fnode_general.fig;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Fdoc%2Fmanual%2Fsrc%2Fpic%2Fnode_general.fig;h=0000000000000000000000000000000000000000;hb=e108abe5c0b4eb841c4ad332229a6c0e57e70079;hp=231e76da923667124899646f5fae61b5cfdeb1e9;hpb=1456c337a60f6677ee742ff7891d43fc382359a9;p=helm.git

diff --git a/helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_general.fig b/helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_general.fig
deleted file mode 100644
index 231e76da9..000000000
--- a/helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_general.fig
+++ /dev/null
@@ -1,35 +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 2025 2025 229 229 2025 2025 2250 2070
-1 3 0 1 0 7 100 0 15 0.000 1 0.0000 1350 2025 225 225 1350 2025 1575 2025
-1 3 0 1 0 7 100 0 15 0.000 1 0.0000 2700 2025 225 225 2700 2025 2925 2025
-1 3 0 1 0 7 100 0 15 0.000 1 0.0000 2025 1125 225 225 2025 1125 2250 1125
-2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
-	1 0 1.00 60.00 120.00
-	 1380 1800 1845 1275
-2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
-	1 1 1.00 60.00 120.00
-	 1815 1207 1282 1815
-2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
-	1 0 1.00 60.00 120.00
-	 2055 1792 2055 1350
-2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
-	1 1 1.00 60.00 120.00
-	 1980 1350 1980 1807
-2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
-	1 1 1.00 60.00 120.00
-	 2190 1297 2550 1867
-2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
-	1 0 1.00 60.00 120.00
-	 2602 1807 2220 1237
-2 2 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 5
-	 450 675 3150 675 3150 2475 450 2475 450 675
-4 0 0 100 0 12 10 0.0000 4 120 540 2377 1342 parent\001
-4 0 0 100 0 12 10 0.0000 4 105 810 645 1628 sub_nodes\001