]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_term.fig
This commit was manufactured by cvs2svn to create branch 'init'.
[helm.git] / helm / DEVEL / pxp / pxp / doc / manual / src / pic / node_term.fig
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 (file)
index 54965fe..0000000
+++ /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 <a>\001
-4 0 0 80 0 18 12 0.0000 4 135 315 1410 2085 <b>\001
-4 0 0 80 0 18 12 0.0000 4 90 315 2790 2070 <c>\001
-4 0 0 80 0 18 12 0.0000 4 90 315 2100 1200 <a>\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 <a att="apple"><b><a att="orange">An orange</a>Cherries</b><c/></a>\001
-4 0 0 100 0 16 12 0.0000 4 180 1800 2250 4005 "att" -> Value "orange"\001