]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_general.fig
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / DEVEL / pxp / pxp / doc / manual / src / pic / node_general.fig
diff --git a/helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_general.fig b/helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_general.fig
deleted file mode 100644 (file)
index 231e76d..0000000
+++ /dev/null
@@ -1,35 +0,0 @@
-#FIG 3.2
-Portrait
-Center
-Metric
-A4      
-100.00
-Single
--2
-1200 2
-1 3 0 1 0 7 100 0 15 0.000 1 0.0000 2025 2025 229 229 2025 2025 2250 2070
-1 3 0 1 0 7 100 0 15 0.000 1 0.0000 1350 2025 225 225 1350 2025 1575 2025
-1 3 0 1 0 7 100 0 15 0.000 1 0.0000 2700 2025 225 225 2700 2025 2925 2025
-1 3 0 1 0 7 100 0 15 0.000 1 0.0000 2025 1125 225 225 2025 1125 2250 1125
-2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
-       1 0 1.00 60.00 120.00
-        1380 1800 1845 1275
-2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
-       1 1 1.00 60.00 120.00
-        1815 1207 1282 1815
-2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
-       1 0 1.00 60.00 120.00
-        2055 1792 2055 1350
-2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
-       1 1 1.00 60.00 120.00
-        1980 1350 1980 1807
-2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
-       1 1 1.00 60.00 120.00
-        2190 1297 2550 1867
-2 1 0 1 0 7 100 0 15 0.000 0 0 -1 1 0 2
-       1 0 1.00 60.00 120.00
-        2602 1807 2220 1237
-2 2 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 5
-        450 675 3150 675 3150 2475 450 2475 450 675
-4 0 0 100 0 12 10 0.0000 4 120 540 2377 1342 parent\001
-4 0 0 100 0 12 10 0.0000 4 105 810 645 1628 sub_nodes\001