...

diff --git a/helm/software/matita/dist/ChangeLog b/helm/software/matita/dist/ChangeLog
index e03f9063948aa1dfd287847c599ee91fb487f14c..06a18e6b712e776cbe5836c5f91dd6d5444b5f52 100644 (file)
--- 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