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

diff --git a/helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_add.fig b/helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_add.fig
new file mode 100644
index 000000000..071683488
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_add.fig
@@ -0,0 +1,107 @@
+#FIG 3.2
+Portrait
+Center
+Metric
+A4      
+100.00
+Single
+-2
+1200 2
+1 1 0 1 0 7 100 0 15 0.000 1 0.0000 6141 1350 242 229 6141 1350 6379 1395
+1 1 0 1 0 7 100 0 15 0.000 1 0.0000 6141 2250 242 229 6141 2250 6379 2295
+1 1 0 1 0 7 100 0 15 0.000 1 0.0000 5426 2250 242 229 5426 2250 5665 2295
+1 1 0 1 0 7 100 0 15 0.000 1 0.0000 6856 2250 242 229 6856 2250 7094 2295
+1 1 0 1 0 7 100 0 15 0.000 1 0.0000 7571 2925 242 229 7571 2925 7809 2970
+1 1 0 1 0 7 100 0 15 0.000 1 0.0000 8524 2925 242 229 8524 2925 8762 2970
+1 1 0 1 0 7 100 0 15 0.000 1 0.0000 8047 2250 242 229 8047 2250 8285 2295
+1 1 0 1 0 7 100 0 15 0.000 1 0.0000 1866 1350 242 229 1866 1350 2104 1395
+1 1 0 1 0 7 100 0 15 0.000 1 0.0000 1866 2250 242 229 1866 2250 2104 2295
+1 1 0 1 0 7 100 0 15 0.000 1 0.0000 1151 2250 242 229 1151 2250 1390 2295
+1 1 0 1 0 7 100 0 15 0.000 1 0.0000 2581 2250 242 229 2581 2250 2819 2295
+1 1 0 1 0 7 100 0 15 0.000 1 0.0000 3296 2925 242 229 3296 2925 3534 2970
+1 1 0 1 0 7 100 0 15 0.000 1 0.0000 4249 2925 242 229 4249 2925 4487 2970
+1 1 0 1 0 7 100 0 15 0.000 1 0.0000 3772 2250 242 229 3772 2250 4010 2295
+1 1 0 1 0 7 100 0 15 0.000 1 0.0000 8325 1350 242 229 8325 1350 8563 1395
+2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
+	1 1 1.00 61.76 123.53
+	 5910 1440 5402 2017
+2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
+	1 1 1.00 61.76 123.53
+	 6109 1590 6101 2025
+2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
+	1 1 1.00 61.76 123.53
+	 6307 1537 6697 2070
+2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
+	1 1 1.00 61.76 123.53
+	 7832 2347 7602 2692
+2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
+	1 1 1.00 61.76 123.53
+	 8150 2452 8349 2752
+2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
+	1 0 1.00 61.76 123.53
+	 5490 2017 5958 1492
+2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
+	1 0 1.00 61.76 123.53
+	 6164 2010 6173 1575
+2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
+	1 0 1.00 61.76 123.53
+	 6768 2025 6355 1470
+2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
+	1 0 1.00 61.76 123.53
+	 7673 2715 7880 2415
+2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
+	1 0 1.00 61.76 123.53
+	 8412 2707 8222 2415
+2 1 1 1 0 7 95 0 15 4.000 0 0 -1 0 0 2
+	 6387 1372 8023 2017
+2 2 0 1 0 7 95 0 -1 0.000 0 0 -1 0 0 5
+	 4950 900 9000 900 9000 3375 4950 3375 4950 900
+2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
+	1 1 1.00 61.75 123.51
+	 1635 1440 1127 2017
+2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
+	1 1 1.00 61.75 123.51
+	 1834 1590 1826 2025
+2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
+	1 1 1.00 61.75 123.51
+	 2032 1537 2422 2070
+2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
+	1 1 1.00 61.75 123.51
+	 3557 2347 3327 2692
+2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
+	1 1 1.00 61.75 123.51
+	 3875 2452 4074 2752
+2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
+	1 0 1.00 61.75 123.51
+	 1215 2017 1683 1492
+2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
+	1 0 1.00 61.75 123.51
+	 1889 2010 1898 1575
+2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
+	1 0 1.00 61.75 123.51
+	 2493 2025 2080 1470
+2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
+	1 0 1.00 61.75 123.51
+	 3398 2715 3605 2415
+2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
+	1 0 1.00 61.75 123.51
+	 4137 2707 3947 2415
+2 1 1 1 0 7 95 0 15 4.000 0 0 -1 0 0 2
+	 2112 1372 3748 2017
+2 2 0 1 0 7 95 0 -1 0.000 0 0 -1 0 0 5
+	 675 900 4725 900 4725 3375 675 3375 675 900
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 1 1.00 60.00 120.00
+	 8197 1545 8055 2010
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 0 1.00 60.00 120.00
+	 8137 2025 8280 1590
+2 1 0 3 0 7 95 0 -1 0.000 0 0 -1 1 0 4
+	2 1 2.00 120.00 180.00
+	 7875 1500 7620 1965 7845 1920 7485 2355
+4 0 0 95 0 14 13 0.0000 4 79 111 6094 1379 x\001
+4 0 0 95 0 14 13 0.0000 4 111 111 7991 2265 y\001
+4 0 0 95 0 14 13 0.0000 4 79 111 1819 1379 x\001
+4 0 0 95 0 14 13 0.0000 4 111 111 3716 2265 y\001
+4 0 0 95 0 12 12 0.0000 4 150 1470 6459 1335 x # add_node y\001
+4 0 0 95 0 12 12 0.0000 4 150 1470 2214 1365 x # add_node y\001