From a2c95f3f040a25f69f9ded4971872a29ab8dfae8 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 12 Oct 2009 16:03:39 +0000 Subject: [PATCH] Typo fixed. --- helm/software/matita/dist/ChangeLog | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2