X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fhelp%2FC%2Flegal.xml;h=115ae002d083b2bb551312a1e327f34e2eb313ac;hb=c31e50505b5afd8fb53236bd5d500c225471eb9a;hp=d457ff463ec66c0833c6102ea4392f6a9c69c6e7;hpb=8e20cf435e3ba53db9691e677b495816bf4d3047;p=helm.git

diff --git a/matita/help/C/legal.xml b/matita/help/C/legal.xml
index d457ff463..115ae002d 100644
--- a/matita/help/C/legal.xml
+++ b/matita/help/C/legal.xml
@@ -1,19 +1,20 @@
-<para> This file is part of HELM, an Hypertextual, Electronic Library of
-  Mathematics, developed at the Computer Science Department, University of
-  Bologna, Italy.  </para>
+<para> Both &appname; and this document are part of HELM, an Hypertextual,
+  Electronic Library of Mathematics, developed at the Computer Science
+  Department, University of Bologna, Italy. </para>
 
 <para> HELM is free software; you can redistribute it and/or modify it under
-  the terms of the GNU General Public License as published by the Free
-  Software Foundation; either version 2 of the License, or (at your option)
-  any later version.  </para>
+  the terms of the GNU General Public License as published by the Free Software
+  Foundation; either version 2 of the License, or (at your option) any later
+  version.  </para>
 
-<para> HELM is distributed in the hope that it will be useful, but WITHOUT
-  ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
-  FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
-  more details.  </para>
+<para> HELM is distributed in the hope that it will be useful, but WITHOUT ANY
+  WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
+  A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
+</para>
+
+<para> You should have received a copy of the GNU General Public License along
+  with HELM; if not, write to the Free Software Foundation, Inc., 51 Franklin
+  St, Fifth Floor, Boston, MA  02110-1301  USA.  A copy of the GNU General
+  Public License is available at <ulink
+    url="http://www.gnu.org/copyleft/gpl.html">this link</ulink>. </para>
 
-<para> You should have received a copy of the GNU General Public License
-  along with HELM; if not, write to the Free Software Foundation, Inc., 59
-  Temple Place - Suite 330, Boston, MA 02111-1307, USA. A copy of the GNU
-  General Public License is available at <ulink type="help"
-    url="ghelp:gpl">this link</ulink>. </para>