X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fdist%2FChangeLog;h=20cbff0db9140f779c41d02ace31b85f86f71e56;hb=62fabf8712c9d0a9dbb53750ad972b7113f77655;hp=e69de29bb2d1d6434b8b29ae775ad8c2e48c5391;hpb=31eedfb7bef43a92231962a4322b8ebf59e186a7;p=helm.git diff --git a/matita/dist/ChangeLog b/matita/dist/ChangeLog index e69de29bb..20cbff0db 100644 --- a/matita/dist/ChangeLog +++ b/matita/dist/ChangeLog @@ -0,0 +1,5 @@ +2006-06-13 Stefano Zacchiroli + + * NEWS: Version 0.1.0 (alpha) + * First public release of Matita. +