From: Enrico Tassi Date: Sun, 15 Feb 2009 14:58:52 +0000 (+0000) Subject: ... X-Git-Tag: make_still_working~4199 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=026c6c5b0e094b2e6e8244909bc5ac3d88b70b9c;p=helm.git ... --- 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