]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_add.fig
This commit was manufactured by cvs2svn to create branch 'init'.
[helm.git] / helm / DEVEL / pxp / pxp / doc / manual / src / pic / node_add.fig
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 (file)
index 0716834..0000000
+++ /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