branch for universe

[helm.git] / matita / dist / ChangeLog

diff --git a/matita/dist/ChangeLog b/matita/dist/ChangeLog
new file mode 100644 (file)
index 0000000..a8d380a
--- /dev/null
+++ b/matita/dist/ChangeLog
@@ -0,0 +1,5 @@
+0.4.98 - ??/11/2007 - bugfix release
+       * compiles against camlp5 >= 5.0  
+       * changed lablgtksourceview module name since it is now part of lablgtk2
+
+0.4.97 - 16/11/2007 - initial release