From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sun, 24 Aug 2008 15:05:32 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~4846
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e5b2195dc02c05040bbf6ef677e9a22a6b73fec8;p=helm.git

...
---

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