a) Detection of existential types now implemented

[helm.git] / matita / dist / ChangeLog

diff --git a/matita/dist/ChangeLog b/matita/dist/ChangeLog
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..20cbff0db9140f779c41d02ace31b85f86f71e56 100644 (file)
--- a/matita/dist/ChangeLog
+++ b/matita/dist/ChangeLog
@@ -0,0 +1,5 @@
+2006-06-13  Stefano Zacchiroli <zack@cs.unibo.it>
+
+       * NEWS: Version 0.1.0 (alpha)
+       * First public release of Matita.
+