tests are now handled with a standard Makefile that does not use do_tests.sh

[helm.git] / matita / LICENSE

diff --git a/matita/LICENSE b/matita/LICENSE
index 7665cd2ce998df62d02c023406a729c9e23d9109..0b656db6d192a16ec5dfdaac1d548a1382edc461 100644 (file)
--- a/matita/LICENSE
+++ b/matita/LICENSE
@@ -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
 
 Matita is part of HELM, an Hypertextual, Electronic
 Library of Mathematics, developed at the Computer Science