From 026c6c5b0e094b2e6e8244909bc5ac3d88b70b9c Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sun, 15 Feb 2009 14:58:52 +0000
Subject: [PATCH] ...

---
 helm/software/matita/dist/ChangeLog | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/software/matita/dist/ChangeLog b/helm/software/matita/dist/ChangeLog
index 18fe123a2..8a1ea5ce7 100644
--- a/helm/software/matita/dist/ChangeLog
+++ b/helm/software/matita/dist/ChangeLog
@@ -1,4 +1,4 @@
-0.5.7 - .../01/2009 - Pàdoa release
+0.5.7 - 15/02/2009 - Pàdoa release
 	* are_convertible bug solved, arguments of application where 
 	  compared allowing cumulativity. This allowed to prove Type0=Type1.
 	* cases tactic speedup in the simplest case of an inductive type 
-- 
2.39.2