From: Luca Padovani Date: Mon, 15 Jan 2001 09:00:06 +0000 (+0000) Subject: added LICENSE X-Git-Tag: nogzip~1 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8e1a7e55cbc7750446f0a7ab3d071190594243fb;p=helm.git added LICENSE --- diff --git a/helm/configuration/etc/configuration.dtd b/helm/configuration/etc/configuration.dtd index 2a2428d1d..98112ee9d 100644 --- a/helm/configuration/etc/configuration.dtd +++ b/helm/configuration/etc/configuration.dtd @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/configuration/etc/configuration.xml.in b/helm/configuration/etc/configuration.xml.in index b14b235f9..5079df400 100644 --- a/helm/configuration/etc/configuration.xml.in +++ b/helm/configuration/etc/configuration.xml.in @@ -1,6 +1,30 @@ + + + + + + + + + + + + + + + + + + + + + + + + @CONFIGURATION_HELM_DIR@ diff --git a/helm/configuration/etc/helm-dictionary.xml b/helm/configuration/etc/helm-dictionary.xml index a81bb886b..05d1fadd0 100644 --- a/helm/configuration/etc/helm-dictionary.xml +++ b/helm/configuration/etc/helm-dictionary.xml @@ -1,3 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/configuration/etc/helm-font-configuration.xml b/helm/configuration/etc/helm-font-configuration.xml index 19da22c6b..b5a9f7cf5 100644 --- a/helm/configuration/etc/helm-font-configuration.xml +++ b/helm/configuration/etc/helm-font-configuration.xml @@ -1,28 +1,29 @@ - + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + @HELM_DICTIONARY_PATH@ diff --git a/helm/configuration/lib/configuration.pl.in b/helm/configuration/lib/configuration.pl.in index 67e5f866c..6540b800e 100644 --- a/helm/configuration/lib/configuration.pl.in +++ b/helm/configuration/lib/configuration.pl.in @@ -1,3 +1,26 @@ +# Copyright (C) 2000, HELM Team. +# +# This file is part of HELM, an Hypertextual, Electronic +# Library of Mathematics, developed at the Computer Science +# Department, University of Bologna, Italy. +# +# 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. +# +# 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. +# +# 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. +# +# For details, see the HELM World-Wide-Web page, +# http://cs.unibo.it/helm/. + use XML::Parser; use Env; diff --git a/helm/dtd/annotations.dtd b/helm/dtd/annotations.dtd index c7d379983..518541049 100644 --- a/helm/dtd/annotations.dtd +++ b/helm/dtd/annotations.dtd @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/dtd/cic.dtd b/helm/dtd/cic.dtd index 0e13549d1..0a90d9e90 100644 --- a/helm/dtd/cic.dtd +++ b/helm/dtd/cic.dtd @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/dtd/cicobject.dtd b/helm/dtd/cicobject.dtd index 1d9917b10..a6b6155b1 100644 --- a/helm/dtd/cicobject.dtd +++ b/helm/dtd/cicobject.dtd @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/dtd/cictypes.dtd b/helm/dtd/cictypes.dtd index bb9856731..e45bf276e 100644 --- a/helm/dtd/cictypes.dtd +++ b/helm/dtd/cictypes.dtd @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/dtd/maththeory.dtd b/helm/dtd/maththeory.dtd index 85469b6ce..b05ff8f8b 100644 --- a/helm/dtd/maththeory.dtd +++ b/helm/dtd/maththeory.dtd @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/dtd/theoryobject.dtd b/helm/dtd/theoryobject.dtd index 8ff26cfb2..c8e775ac4 100644 --- a/helm/dtd/theoryobject.dtd +++ b/helm/dtd/theoryobject.dtd @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in index bac916fe8..e8adb3bc0 100755 --- a/helm/http_getter/http_getter.pl.in +++ b/helm/http_getter/http_getter.pl.in @@ -1,5 +1,28 @@ #!@PERL_BINARY@ +# Copyright (C) 2000, HELM Team. +# +# This file is part of HELM, an Hypertextual, Electronic +# Library of Mathematics, developed at the Computer Science +# Department, University of Bologna, Italy. +# +# 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. +# +# 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. +# +# 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. +# +# For details, see the HELM World-Wide-Web page, +# http://cs.unibo.it/helm/. + # First of all, let's load HELM configuration use Env; my $HELM_LIBRARY_DIR = $ENV{"HELM_LIBRARY_DIR"}; diff --git a/helm/style/annotatedcont.xsl b/helm/style/annotatedcont.xsl index e97d08f2b..168dbd479 100644 --- a/helm/style/annotatedcont.xsl +++ b/helm/style/annotatedcont.xsl @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/style/annotatedpres.xsl b/helm/style/annotatedpres.xsl index 511f915f5..61d6211a8 100644 --- a/helm/style/annotatedpres.xsl +++ b/helm/style/annotatedpres.xsl @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/style/basic.xsl b/helm/style/basic.xsl index 449cd1c54..76258e733 100644 --- a/helm/style/basic.xsl +++ b/helm/style/basic.xsl @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/style/content.xsl b/helm/style/content.xsl index e71ba3fe1..afeb75493 100644 --- a/helm/style/content.xsl +++ b/helm/style/content.xsl @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl index f2d618274..d3cb77408 100644 --- a/helm/style/content_to_html.xsl +++ b/helm/style/content_to_html.xsl @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/style/html_init.xsl b/helm/style/html_init.xsl index 44d75fd0a..d73a48b72 100644 --- a/helm/style/html_init.xsl +++ b/helm/style/html_init.xsl @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/style/html_reals.xsl b/helm/style/html_reals.xsl index 1f1750b2d..03dd369fd 100644 --- a/helm/style/html_reals.xsl +++ b/helm/style/html_reals.xsl @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/style/html_set.xsl b/helm/style/html_set.xsl index ca38298d1..5b50211df 100644 --- a/helm/style/html_set.xsl +++ b/helm/style/html_set.xsl @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl index 698e8fce5..e130b4fb6 100644 --- a/helm/style/mmlextension.xsl +++ b/helm/style/mmlextension.xsl @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/style/objcontent.xsl b/helm/style/objcontent.xsl index 2e70505d0..333a1ef9b 100644 --- a/helm/style/objcontent.xsl +++ b/helm/style/objcontent.xsl @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/style/params.xsl b/helm/style/params.xsl index dc59df167..920cf50a5 100644 --- a/helm/style/params.xsl +++ b/helm/style/params.xsl @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl index 426e16129..56ccec7fb 100644 --- a/helm/style/proofs.xsl +++ b/helm/style/proofs.xsl @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/style/reals.xsl b/helm/style/reals.xsl index 4d17ae260..982d4ed21 100644 --- a/helm/style/reals.xsl +++ b/helm/style/reals.xsl @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/style/ricerca.xsl b/helm/style/ricerca.xsl index 03129b21c..1ccfd1db8 100644 --- a/helm/style/ricerca.xsl +++ b/helm/style/ricerca.xsl @@ -1,5 +1,28 @@ + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/style/rootcontent.xsl b/helm/style/rootcontent.xsl index e82a13d63..7ce78dde3 100644 --- a/helm/style/rootcontent.xsl +++ b/helm/style/rootcontent.xsl @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/style/roottheory.xsl b/helm/style/roottheory.xsl index 5ba277e8d..38ce32460 100644 --- a/helm/style/roottheory.xsl +++ b/helm/style/roottheory.xsl @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/style/set.xsl b/helm/style/set.xsl index 4a29f4678..6fc55645a 100644 --- a/helm/style/set.xsl +++ b/helm/style/set.xsl @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/style/theory_content.xsl b/helm/style/theory_content.xsl index 5ff5a41f7..da4232a23 100644 --- a/helm/style/theory_content.xsl +++ b/helm/style/theory_content.xsl @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/style/theory_pres.xsl b/helm/style/theory_pres.xsl index f8ade2a82..8cebb6185 100644 --- a/helm/style/theory_pres.xsl +++ b/helm/style/theory_pres.xsl @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + +