From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 28 Aug 2008 14:06:02 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~4831
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9e291e00ee6a0fbfbffc6c61080bf1ab02418ff8;p=helm.git

...
---

diff --git a/helm/software/matita/dist/ChangeLog b/helm/software/matita/dist/ChangeLog
index e03f90639..06a18e6b7 100644
--- a/helm/software/matita/dist/ChangeLog
+++ b/helm/software/matita/dist/ChangeLog
@@ -1,4 +1,4 @@
-0.5.3  - 23/7/2008 - bugfix release
+0.5.v  - dd/mm/yyy - 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