X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Fdoc%2Fmanual%2Fsrc%2Fpic%2Fnode_term.fig;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Fdoc%2Fmanual%2Fsrc%2Fpic%2Fnode_term.fig;h=0000000000000000000000000000000000000000;hp=54965fe63cf36b2ad1acc65c1a5525c2450c278f;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8 diff --git a/helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_term.fig b/helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_term.fig deleted file mode 100644 index 54965fe63..000000000 --- a/helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_term.fig +++ /dev/null @@ -1,63 +0,0 @@ -#FIG 3.2 -Portrait -Center -Metric -A4 -100.00 -Single --2 -1200 2 -6 1665 2700 2835 3150 -2 4 0 1 0 7 100 0 15 0.000 0 0 7 0 0 5 - 2835 3150 2835 2700 1665 2700 1665 3150 2835 3150 -4 0 0 80 0 18 12 0.0000 4 135 930 1815 3015 "Cherries"\001 --6 -1 3 0 1 0 7 100 0 15 0.000 1 0.0000 2250 1125 225 225 2250 1125 2475 1125 -1 3 0 1 0 7 100 0 15 0.000 1 0.0000 1575 2025 225 225 1575 2025 1800 2025 -1 3 0 1 0 7 100 0 15 0.000 1 0.0000 2925 2025 225 225 2925 2025 3150 2025 -1 3 0 1 0 7 100 0 15 0.000 1 0.0000 900 2925 242 242 900 2925 1125 3015 -2 4 0 1 0 7 100 0 15 0.000 0 0 7 0 0 5 - 1485 4275 1485 3825 315 3825 315 4275 1485 4275 -2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2 - 2085 1275 1582 1807 -2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2 - 2407 1297 2940 1800 -2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2 - 1417 2190 900 2692 -2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2 - 1740 2190 2257 2700 -2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2 - 892 3180 892 3825 -2 2 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 5 - 45 675 6525 675 6525 4950 45 4950 45 675 -3 3 0 1 0 7 100 0 -1 0.000 0 0 0 22 - 2115 3645 2250 3600 2520 3555 2745 3510 2925 3555 3150 3690 - 3375 3735 3600 3735 3825 3735 4140 3825 4140 4005 4005 4185 - 3735 4230 3420 4185 3150 4230 2835 4275 2520 4230 2340 4140 - 2115 4095 1980 4005 1980 3825 2025 3735 - -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 - -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 - -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 -3 3 0 1 0 7 100 0 -1 0.000 0 0 0 17 - 3465 1170 3645 1080 4050 1035 4320 1035 4545 1080 4770 1170 - 5130 1215 5355 1350 5400 1530 5265 1665 4860 1710 4455 1710 - 4095 1665 3780 1620 3555 1575 3420 1485 3420 1305 - -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 - -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 - -1.000 -3 2 0 1 0 7 100 0 -1 0.000 0 0 0 5 - 2475 1215 2655 1350 2970 1440 3240 1395 3420 1260 - 0.000 -1.000 -1.000 -1.000 0.000 -3 2 0 1 0 7 100 0 -1 0.000 0 0 0 5 - 1125 3060 1215 3397 1410 3607 1687 3727 2025 3720 - 0.000 -1.000 -1.000 -1.000 0.000 -4 0 0 80 0 18 12 0.0000 4 180 1065 375 4125 "An orange"\001 -4 0 0 80 0 18 12 0.0000 4 90 315 750 2985 \001 -4 0 0 80 0 18 12 0.0000 4 135 315 1410 2085 \001 -4 0 0 80 0 18 12 0.0000 4 90 315 2790 2070 \001 -4 0 0 80 0 18 12 0.0000 4 90 315 2100 1200 \001 -4 0 0 100 0 16 12 0.0000 4 135 795 3600 1260 attributes:\001 -4 0 0 100 0 16 12 0.0000 4 180 1680 3600 1485 "att" -> Value "apple"\001 -4 0 0 100 0 16 12 0.0000 4 135 795 2250 3780 attributes:\001 -4 0 0 100 0 17 12 0.0000 4 180 5910 390 4725 An orangeCherries\001 -4 0 0 100 0 16 12 0.0000 4 180 1800 2250 4005 "att" -> Value "orange"\001