branch for universe

[helm.git] / matita / help / C / legal.xml

diff --git a/matita/help/C/legal.xml b/matita/help/C/legal.xml
new file mode 100644 (file)
index 0000000..115ae00
--- /dev/null
+++ b/matita/help/C/legal.xml
@@ -0,0 +1,20 @@
+<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>
+
+<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>
+