From e5b2195dc02c05040bbf6ef677e9a22a6b73fec8 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sun, 24 Aug 2008 15:05:32 +0000 Subject: [PATCH] ... --- helm/software/matita/dist/ChangeLog | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/helm/software/matita/dist/ChangeLog b/helm/software/matita/dist/ChangeLog index 2ff51705c..e03f90639 100644 --- a/helm/software/matita/dist/ChangeLog +++ b/helm/software/matita/dist/ChangeLog @@ -1,3 +1,9 @@ +0.5.3 - 23/7/2008 - bugfix release + * mstyle support in notation for text color, font size + * AutoGui now scales fonts to the correct user-requested size Non + * linear pattern matching from the level of terms to the + one of content in interpretation command (if the same variable name + is used, the two captured terms must be alpha equivalent to match) 0.5.3 - 23/7/2008 - bugfix release * many fixes concerning the CProp hiearchy * coercion database simplified -- 2.39.2