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=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=0716834887c93a9ee73c603f1893eca79d79a4f0;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;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
deleted file mode 100644
index 071683488..000000000
--- a/helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_add.fig
+++ /dev/null
@@ -1,107 +0,0 @@
-#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