]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_term.fig
Initial revision
[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
new file mode 100644 (file)
index 0000000..54965fe
--- /dev/null
@@ -0,0 +1,63 @@
+#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