From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 20 Nov 2007 12:52:28 +0000 (+0000)
Subject: opps, a changelog was already there
X-Git-Tag: 0.4.98@7921~16
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=f9f52dc8d7f34bf2ec02ffa13b7c91e2c669b5ae

opps, a changelog was already there
---

diff --git a/ChangeLog b/ChangeLog
deleted file mode 100644
index d5d9709ab..000000000
--- a/ChangeLog
+++ /dev/null
@@ -1,6 +0,0 @@
-0.4.98 - ??/11/2007 - bugfix release
-	* compiles against camlp5 >= 5.0  
-	* removed dependency against lablgtksourceview since it is now part
-	  of lablgtk2
-
-0.4.97 - 16/11/2007 - initial release
diff --git a/matita/dist/ChangeLog b/matita/dist/ChangeLog
index 20cbff0db..d5d9709ab 100644
--- a/matita/dist/ChangeLog
+++ b/matita/dist/ChangeLog
@@ -1,5 +1,6 @@
-2006-06-13  Stefano Zacchiroli	<zack@cs.unibo.it>
-
-	* NEWS: Version 0.1.0 (alpha)
-	* First public release of Matita.
+0.4.98 - ??/11/2007 - bugfix release
+	* compiles against camlp5 >= 5.0  
+	* removed dependency against lablgtksourceview since it is now part
+	  of lablgtk2
 
+0.4.97 - 16/11/2007 - initial release