From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sat, 10 Jun 2006 16:20:44 +0000 (+0000)
Subject: factorized legal stuff like other chapters
X-Git-Tag: 0.4.95@7852~1347
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6c93ca5dd33afabca8414cd5c8ff28b25e031ba3;p=helm.git

factorized legal stuff like other chapters
---

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>
diff --git a/matita/help/C/sec_license.xml b/matita/help/C/sec_license.xml
new file mode 100644
index 000000000..47e146126
--- /dev/null
+++ b/matita/help/C/sec_license.xml
@@ -0,0 +1,8 @@
+
+<!-- ============= Application License ============================= -->
+
+<chapter id="sec_license">
+  <title>License</title>
+  &legal;
+</chapter>
+