From deaa74701b73276ab7312911a56bee316c2ca110 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 21 Jul 2008 13:38:38 +0000 Subject: [PATCH] added notes about notation --- helm/software/matita/dist/ChangeLog | 3 +++ 1 file changed, 3 insertions(+) diff --git a/helm/software/matita/dist/ChangeLog b/helm/software/matita/dist/ChangeLog index 46be8c083..5c563376c 100644 --- a/helm/software/matita/dist/ChangeLog +++ b/helm/software/matita/dist/ChangeLog @@ -3,6 +3,9 @@ * coercion database simplified * coercion hiding now works properly for coercions to funclass * triangular pullback works better with coercions to the function space + * notation for lists fixed to add a break point after the separator + * notation for the existential is now user definable + * \infrule layout added, allows to display readable fractions 0.5.2 - 2/7/2008 - better-usability-for-the-working-constructivist release * refinement of match fixed to prevent useless unfolding, -- 2.39.2