From 23323623b58e680602400c5668a738957e6e7ae6 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 29 May 2008 09:45:35 +0000 Subject: [PATCH] ... --- helm/software/matita/dist/ChangeLog | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/helm/software/matita/dist/ChangeLog b/helm/software/matita/dist/ChangeLog index baad226d1..e171b8386 100644 --- a/helm/software/matita/dist/ChangeLog +++ b/helm/software/matita/dist/ChangeLog @@ -1,4 +1,8 @@ -0.5.1 - -/5/2008 - minor bug fix release +0.5.? - ?/?/? - ? + * refinement of match fixed to prevent useless unfolding, + head_beta_reduce is used instead of whd ~delta:true + +0.5.1 - 29/5/2008 - minor bug fix release * visualization of inductive types reports the number of fixed parameters * a wrong context was used to refine fixpoints arguments when trying to optimize out the letin (grep for `AvoidLetIn): -- 2.39.2