From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 7 Jan 2008 16:47:07 +0000 (+0000)
Subject: fixed typo
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=94267002fc18aa42a8c09779ad6485f93c3e90fa

fixed typo
---

diff --git a/matita/help/C/sec_gettingstarted.xml b/matita/help/C/sec_gettingstarted.xml
index c6a0daaf5..b0c0a863e 100644
--- a/matita/help/C/sec_gettingstarted.xml
+++ b/matita/help/C/sec_gettingstarted.xml
@@ -100,7 +100,7 @@
 	for example, consider the following files and directories, and
 	assume you keep files in &quot;list&quot; separated from files
 	in &quot;sort&quot; (for example the former directory may contain
-	functions on proofs about lists, while latter sorting algorithms
+	functions and proofs about lists, while latter sorting algorithms
 	for lists):
 <programlisting><![CDATA[
   list/