fixed typo

[helm.git] / matita / help / C / sec_gettingstarted.xml

diff --git a/matita/help/C/sec_gettingstarted.xml b/matita/help/C/sec_gettingstarted.xml
index c6a0daaf5dc65b51ea9c8c271f56cfa5e6772b93..b0c0a863e55e1a8c9a69602730f360fa48d3bf30 100644 (file)
--- 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 "list" separated from files
        in "sort" (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/