From 14cfb2ab91c57fb73e7b86904ef9b0ad1deb44a9 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 10 Jan 2003 09:11:05 +0000 Subject: [PATCH] fixed copyright notice and helm web page url --- helm/hbugs/test/test_serialization.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/helm/hbugs/test/test_serialization.ml b/helm/hbugs/test/test_serialization.ml index bc78e1cd0..83fdef29d 100644 --- a/helm/hbugs/test/test_serialization.ml +++ b/helm/hbugs/test/test_serialization.ml @@ -1,5 +1,7 @@ (* - * Copyright (C) 2003, HELM Team. + * Copyright (C) 2003: + * Stefano Zacchiroli + * for the HELM Team http://helm.cs.unibo.it/ * * This file is part of HELM, an Hypertextual, Electronic * Library of Mathematics, developed at the Computer Science @@ -21,7 +23,7 @@ * MA 02111-1307, USA. * * For details, see the HELM World-Wide-Web page, - * http://cs.unibo.it/helm/. + * http://helm.cs.unibo.it/ *) (* test serialization/deserialization of Hbugs_messages module. File given as -- 2.39.2