]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/doc/manual/src/pic/extension_general.fig
This commit was manufactured by cvs2svn to create branch 'init'.
[helm.git] / helm / DEVEL / pxp / pxp / doc / manual / src / pic / extension_general.fig
diff --git a/helm/DEVEL/pxp/pxp/doc/manual/src/pic/extension_general.fig b/helm/DEVEL/pxp/pxp/doc/manual/src/pic/extension_general.fig
deleted file mode 100644 (file)
index 445095f..0000000
+++ /dev/null
@@ -1,47 +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 1575 2250 229 229 1575 2250 1800 2295
-1 3 0 1 0 7 100 0 15 0.000 1 0.0000 1575 3375 225 225 1575 3375 1800 3375
-1 3 0 1 0 7 100 0 15 0.000 1 0.0000 675 3375 229 229 675 3375 900 3420
-1 3 0 1 0 7 100 0 15 0.000 1 0.0000 2475 3375 229 229 2475 3375 2700 3420
-1 3 0 1 0 7 100 0 10 0.000 1 0.0000 3600 2475 180 180 3600 2475 3780 2475
-1 3 0 1 0 7 100 0 10 0.000 1 0.0000 2880 2475 180 180 2880 2475 3060 2475
-1 3 0 1 0 7 100 0 10 0.000 1 0.0000 4320 2475 186 186 4320 2475 4500 2520
-1 3 0 1 0 7 100 0 10 0.000 1 0.0000 3600 1485 186 186 3600 1485 3780 1530
-2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
-        675 3150 1395 2385
-2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
-        1575 2475 1575 3150
-2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
-        1755 2385 2475 3150
-2 1 1 1 0 7 100 0 -1 4.000 0 0 -1 1 0 2
-       0 0 1.00 60.00 120.00
-        1537 2010 3412 1462
-2 1 1 1 0 7 100 0 -1 4.000 0 0 -1 1 0 2
-       0 0 1.00 60.00 120.00
-        3412 1537 1672 2047
-2 1 1 1 0 7 100 0 -1 4.000 0 0 -1 1 1 2
-       0 0 1.00 60.00 120.00
-       0 0 1.00 60.00 120.00
-        810 3195 2707 2512
-2 1 1 1 0 7 100 0 -1 4.000 0 0 -1 1 1 2
-       0 0 1.00 60.00 120.00
-       0 0 1.00 60.00 120.00
-        1740 3217 3442 2580
-2 1 1 1 0 7 100 0 -1 4.000 0 0 -1 1 1 2
-       0 0 1.00 60.00 120.00
-       0 0 1.00 60.00 120.00
-        2640 3210 4177 2610
-4 0 0 80 0 14 12 0.0000 4 75 105 3555 1530 x\001
-4 0 0 80 0 14 12 0.0000 4 75 105 1530 2295 n\001
-4 0 0 80 0 12 12 0.2967 4 135 1365 1658 1950 n # extension\001
-4 0 0 80 0 12 12 0.2967 4 135 840 2475 1950 x # node\001
-4 0 0 80 0 16 12 0.0000 4 135 1140 1020 4050 The node tree\001
-4 0 0 80 0 16 12 0.0000 4 135 1245 3225 3285 The extensions\001