X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Fsec_install.xml;h=be9ddaa11364bae4257f0ed3b13ce55ef7c9cba7;hb=f6fbde555da84d68da2dc87de8d731f1c6ea4476;hp=929cad1aa63c785b2f4f955a91f6baf503de3349;hpb=9ec9bec67c97942a048fe930faa53472754457c9;p=helm.git
diff --git a/helm/software/matita/help/C/sec_install.xml b/helm/software/matita/help/C/sec_install.xml
index 929cad1aa..be9ddaa11 100644
--- a/helm/software/matita/help/C/sec_install.xml
+++ b/helm/software/matita/help/C/sec_install.xml
@@ -54,8 +54,8 @@
you can have APT install all the required tools and libraries by
adding the following repository to your
/etc/apt/sources.list:
- deb http://people.debian.org/~zack unstable helm
+ deb http://people.debian.org/~zack unstable helm
and installing the
helm-matita-deps package.
@@ -202,7 +202,7 @@
ulex
+ url="http://www.cduce.org/download.html">ulex
@@ -213,7 +213,7 @@
CamlZip
+ url="http://cristal.inria.fr/~xleroy/software.html">CamlZip
@@ -296,7 +296,7 @@
/usr/local/matita/
Runtime base directory where all &appname; stuff
(executables, configuration files, standard
- library, ...) will be installed
+ library, ...) will be installed