]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/LICENSE
done
[helm.git] / 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