From: Stefano Zacchiroli Date: Mon, 9 Jan 2006 13:51:23 +0000 (+0000) Subject: bumped year X-Git-Tag: make_still_working~7877 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=69e173a700fb39778797c2a1f44a17cc18575fe8;p=helm.git bumped year --- diff --git a/helm/ocaml/license b/helm/ocaml/license index e51e9fcdc..c67e1fc29 100644 --- a/helm/ocaml/license +++ b/helm/ocaml/license @@ -1,4 +1,4 @@ -(* Copyright (C) 2005, HELM Team. +(* Copyright (C) 2006, HELM Team. * * This file is part of HELM, an Hypertextual, Electronic * Library of Mathematics, developed at the Computer Science