From 40b85b6717785a7b24f2bc0680e716655b8faf99 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 12 Dec 2008 12:14:31 +0000 Subject: [PATCH] ... --- helm/software/matita/dist/ChangeLog | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/helm/software/matita/dist/ChangeLog b/helm/software/matita/dist/ChangeLog index 110e101a7..6a609017e 100644 --- a/helm/software/matita/dist/ChangeLog +++ b/helm/software/matita/dist/ChangeLog @@ -1,3 +1,10 @@ +0.5.7 - ... - ... + * fixed pattern matching over ast terms, Ast.Case construct can be + matched correctly. Look the o-algebra example if you are + intereseted. + * mpadded mathml tag can be used in notation, it allows to overlap + symbols reducing the bounding box size + 0.5.6 - 1/12/2008 - bugfix release * more abstract disambiguation algorithm, simpler instantiation to a different CIC/refiner -- 2.39.2