helm/helm_data/LICENSE.script

   1 # Copyright (C) 2000, HELM Team.
   2 #
   3 # This file is part of HELM, an Hypertextual, Electronic
   4 # Library of Mathematics, developed at the Computer Science
   5 # Department, University of Bologna, Italy.
   6 #
   7 # HELM is free software; you can redistribute it and/or
   8 # modify it under the terms of the GNU General Public License
   9 # as published by the Free Software Foundation; either version 2
  10 # of the License, or (at your option) any later version.
  11 #
  12 # HELM is distributed in the hope that it will be useful,
  13 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15 # GNU General Public License for more details.
  16 #
  17 # You should have received a copy of the GNU General Public License
  18 # along with HELM; if not, write to the Free Software
  19 # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
  20 #
  21 # For details, see the HELM World-Wide-Web page,
  22 # http://cs.unibo.it/helm/.