X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;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
 	    <filename>/etc/apt/sources.list</filename>: <programlisting>
-	      deb&nbsp;<ulink type="http"
-		url="http://people.debian.org/~zack">http://people.debian.org/~zack</ulink>&nbsp;unstable&nbsp;helm
+	      deb <ulink type="http"
+		url="http://people.debian.org/~zack">http://people.debian.org/~zack</ulink> unstable helm
 	  </programlisting> and installing the
 	  <application>helm-matita-deps</application> package.</para>
 
@@ -202,7 +202,7 @@
 	  <varlistentry>
 	    <term>
 	      <application> <ulink type="http"
-		  url="http://www.cduce.org/download.html#side">ulex</ulink>
+		  url="http://www.cduce.org/download.html">ulex</ulink>
 	      </application>
 	    </term>
 	    <listitem>
@@ -213,7 +213,7 @@
 	  <varlistentry>
 	    <term>
 	      <application> <ulink type="http"
-		  url="http://cristal.inria.fr/~xleroy/software.html#camlzip">CamlZip</ulink>
+		  url="http://cristal.inria.fr/~xleroy/software.html">CamlZip</ulink>
 	      </application>
 	    </term>
 	    <listitem>
@@ -296,7 +296,7 @@
 		<entry> <filename>/usr/local/matita/</filename> </entry>
 		<entry> <para> Runtime base directory where all &appname; stuff
 		    (executables, configuration files, standard
-		    library,&nbsp;...) will be installed </para> </entry>
+		    library, ...) will be installed </para> </entry>
 	      </row>
 	      <row>
 		<entry>