]> matita.cs.unibo.it Git - helm.git/commitdiff
bumped copyright years
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 21 Apr 2005 12:07:41 +0000 (12:07 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 21 Apr 2005 12:07:41 +0000 (12:07 +0000)
helm/ocaml/license

index e51e9fcdc1061fc4bc878df46150f4e9a6c24766..354f8c0eedc8b42f070baf257cd9cb1d5d02ffb3 100644 (file)
@@ -1,4 +1,4 @@
-(* Copyright (C) 2005, HELM Team.
+(* Copyright (C) 2004-2005, HELM Team.
  * 
  * This file is part of HELM, an Hypertextual, Electronic
  * Library of Mathematics, developed at the Computer Science