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=231e76da923667124899646f5fae61b5cfdeb1e9;hb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;hp=0000000000000000000000000000000000000000;hpb=758057e85325f94cd88583feb1fdf6b038e35055;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
new file mode 100644
index 000000000..231e76da9
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_general.fig
@@ -0,0 +1,35 @@
+#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