]> matita.cs.unibo.it Git - helm.git/commitdiff
bumped year
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Feb 2006 17:12:22 +0000 (17:12 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Feb 2006 17:12:22 +0000 (17:12 +0000)
matita/LICENSE

index 7665cd2ce998df62d02c023406a729c9e23d9109..0b656db6d192a16ec5dfdaac1d548a1382edc461 100644 (file)
@@ -1,4 +1,4 @@
-Copyright (C) 2000-2005, HELM Team.
+Copyright (C) 2000-2006, HELM Team.
 
 Matita is part of HELM, an Hypertextual, Electronic
 Library of Mathematics, developed at the Computer Science