updated changelog

diff --git a/helm/software/matita/dist/ChangeLog b/helm/software/matita/dist/ChangeLog
index f6e640278f7551bb02c0be6decf8a0a7c8721a38..46be8c083cab8467ebc0d168deab0446daab66d4 100644 (file)
--- a/helm/software/matita/dist/ChangeLog
+++ b/helm/software/matita/dist/ChangeLog
@@ -1,3 +1,9 @@
+0.5.3  - ?/7/2008 - bugfix release
+       * many fixes concerning the CProp hiearchy
+       * coercion database simplified
+       * coercion hiding now works properly for coercions to funclass
+       * triangular pullback works better with coercions to the function space
+
 0.5.2  - 2/7/2008 - better-usability-for-the-working-constructivist release
        * refinement of match fixed to prevent useless unfolding,
          head_beta_reduce is used instead of whd ~delta:true