X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita%2Fhelp%2FC%2Fsec_install.xml;h=23c690081ea3d36039e7d451c45e80b42b4b4322;hb=2b51cf74b9a5f37d0f91780ceae4b8f4d0ee38a1;hp=92e9d62cc178812ca621194e31b49dd40b8e2903;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git
diff --git a/matita/matita/help/C/sec_install.xml b/matita/matita/help/C/sec_install.xml
index 92e9d62cc..23c690081 100644
--- a/matita/matita/help/C/sec_install.xml
+++ b/matita/matita/help/C/sec_install.xml
@@ -288,6 +288,7 @@
+
+
@@ -325,6 +329,7 @@
+
@@ -360,6 +366,7 @@
+
@@ -429,6 +437,7 @@
+
Compiling and installing
@@ -499,9 +509,10 @@
+
@@ -551,6 +563,7 @@
installs &appname; related tools, standard library and the
needed runtime stuff in the proper places on the filesystem.
+
@@ -569,6 +582,7 @@
+