From 78d5a52a5b9af28316289982416e7cb5b642ee8d Mon Sep 17 00:00:00 2001 From: Luca Padovani Date: Mon, 15 Jan 2001 15:19:46 +0000 Subject: [PATCH] added LICENSE files to be included in the HELM sources --- helm/helm_data/LICENSE | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/helm_data/LICENSE b/helm/helm_data/LICENSE index 4d118cedf..72f9426c8 100644 --- a/helm/helm_data/LICENSE +++ b/helm/helm_data/LICENSE @@ -1,4 +1,4 @@ -Copyright (C) 2000, Luca Padovani . +Copyright (C) 2000, HELM Team. This file is part of HELM, an Hypertextual, Electronic Library of Mathematics, developed at the Computer Science -- 2.39.2