From 4b3651b6d77d682c056e106dc7bd04eff3e829e8 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Tue, 6 Dec 2005 12:01:00 +0000 Subject: [PATCH] Typos. --- helm/papers/matita/matita2.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/papers/matita/matita2.tex b/helm/papers/matita/matita2.tex index fad520ad3..73e68e82e 100644 --- a/helm/papers/matita/matita2.tex +++ b/helm/papers/matita/matita2.tex @@ -1252,7 +1252,7 @@ development of the library, encouraging people to expand, modify and elaborate previous contributions. \subsection{Matita's naming convention} -A minor but not entirely negligeable aspect of Matita is that of +A minor but not entirely negligible aspect of Matita is that of adopting a (semi)-rigid naming convention for identifiers, derived by our studies about metadata for statements. The convention is only applied to identifiers for theorems -- 2.39.2