From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 12 Oct 2009 16:03:39 +0000 (+0000)
Subject: Typo fixed.
X-Git-Tag: make_still_working~3333
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a2c95f3f040a25f69f9ded4971872a29ab8dfae8;p=helm.git

Typo fixed.
---

diff --git a/helm/software/matita/dist/ChangeLog b/helm/software/matita/dist/ChangeLog
index 198920eac..17bd3330a 100644
--- a/helm/software/matita/dist/ChangeLog
+++ b/helm/software/matita/dist/ChangeLog
@@ -14,7 +14,7 @@
 	* new refiner:
 	  * bi-directional type inference
 	  * unification hints
-	  * implicit vector (expands to the tight number of implicits)
+	  * implicit vector (expands to the right number of implicits)
 	* new basic tactics:
 	  * new type for tactics, with a global view on the ongoing proof
 	  * heavily based on the refiner