From 9e291e00ee6a0fbfbffc6c61080bf1ab02418ff8 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 28 Aug 2008 14:06:02 +0000 Subject: [PATCH] ... --- helm/software/matita/dist/ChangeLog | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2