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
        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/
        for lists):
 <programlisting><![CDATA[
   list/