From 4108cbe1ef492c92cc6c7576e9c4148760637eaf Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 26 May 2008 09:13:07 +0000 Subject: [PATCH] ... --- helm/software/matita/dist/ChangeLog | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/software/matita/dist/ChangeLog b/helm/software/matita/dist/ChangeLog index d20d37588..f14ac2477 100644 --- a/helm/software/matita/dist/ChangeLog +++ b/helm/software/matita/dist/ChangeLog @@ -2,6 +2,7 @@ * a wrong context was used to refine fixpoints arguments when trying to optimize out the letin (grep for `AvoidLetIn): (let rec f x = Fix... in f t ---> Fix... t) + * auto fixed to prefer goals with metavariables to closed ones 0.5.0 - 9/5/2008 - bugfix release * first release not considered experimental -- 2.39.2