]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_delete.fig
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / DEVEL / pxp / pxp / doc / manual / src / pic / node_delete.fig
diff --git a/helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_delete.fig b/helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_delete.fig
deleted file mode 100644 (file)
index a9fc87e..0000000
+++ /dev/null
@@ -1,96 +0,0 @@
-#FIG 3.2
-Portrait
-Center
-Metric
-A4      
-100.00
-Single
--2
-1200 2
-6 2550 2092 2865 2407
-2 1 0 4 0 7 80 0 -1 0.000 1 1 -1 0 0 2
-        2595 2362 2820 2137
-2 1 0 4 0 7 80 0 -1 0.000 1 1 -1 0 0 2
-        2595 2137 2820 2362
--6
-6 1980 2430 3420 3870
-1 3 0 1 0 7 95 0 10 4.000 1 0.0000 2700 2700 229 229 2700 2700 2925 2745
-1 3 0 1 0 7 95 0 10 4.000 1 0.0000 2250 3600 229 229 2250 3600 2475 3645
-1 3 0 1 0 7 95 0 10 4.000 1 0.0000 3150 3600 229 229 3150 3600 3375 3645
-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
-        2535 2857 2235 3360
-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
-        2782 2932 3000 3420
-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
-        2317 3367 2587 2910
-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
-        3060 3375 2842 2887
--6
-1 3 0 1 0 7 95 0 15 4.000 1 0.0000 2700 1800 229 229 2700 1800 2925 1845
-1 3 0 1 0 7 95 0 15 4.000 1 0.0000 2025 2700 229 229 2025 2700 2250 2745
-1 3 0 1 0 7 95 0 15 4.000 1 0.0000 3375 2700 229 229 3375 2700 3600 2745
-1 3 0 1 0 7 95 0 15 4.000 1 0.0000 6345 1800 229 229 6345 1800 6570 1845
-1 3 0 1 0 7 95 0 15 4.000 1 0.0000 5670 2700 229 229 5670 2700 5895 2745
-1 3 0 1 0 7 95 0 15 4.000 1 0.0000 7020 2700 229 229 7020 2700 7245 2745
-1 3 0 1 0 7 95 0 10 4.000 1 0.0000 8325 1800 229 229 8325 1800 8550 1845
-1 3 0 1 0 7 95 0 10 4.000 1 0.0000 7875 2700 229 229 7875 2700 8100 2745
-1 3 0 1 0 7 95 0 10 4.000 1 0.0000 8775 2700 229 229 8775 2700 9000 2745
-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
-        2737 2460 2737 2032
-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
-        2662 2032 2662 2467
-2 1 0 5 0 7 95 0 -1 12.000 1 0 -1 0 0 2
-        4050 2610 4725 2610
-2 1 0 5 0 7 95 0 -1 12.000 1 0 -1 0 0 2
-        4050 2745 4725 2745
-2 1 0 5 0 7 95 0 -1 12.000 1 1 -1 0 0 3
-        4500 2385 4950 2655 4500 2970
-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
-        2490 1905 2025 2467
-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
-        2827 2002 3202 2542
-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
-        2115 2475 2535 1965
-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
-        3255 2505 2872 1957
-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
-        6135 1905 5670 2467
-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
-        6472 2002 6847 2542
-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
-        5760 2475 6180 1965
-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
-        6900 2505 6517 1957
-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
-        8160 1957 7860 2460
-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
-        8407 2032 8625 2520
-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
-        7942 2467 8212 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
-        8685 2475 8467 1987
-2 2 0 1 0 7 80 0 -1 4.000 0 0 -1 0 0 5
-        1575 1350 9225 1350 9225 4050 1575 4050 1575 1350
-4 0 0 80 0 14 12 0.0000 4 75 105 2640 2752 x\001
-4 0 0 95 0 12 12 0.0000 4 135 1050 3960 2250 x # delete\001
-4 0 0 80 0 14 12 0.0000 4 75 105 8280 1845 x\001
-4 0 0 80 0 14 12 0.0000 4 105 105 2655 1845 y\001
-4 0 0 80 0 14 12 0.0000 4 105 105 6300 1845 y\001