]> matita.cs.unibo.it Git - helm.git/commitdiff
fixed typo
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 7 Jan 2008 16:47:07 +0000 (16:47 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 7 Jan 2008 16:47:07 +0000 (16:47 +0000)
matita/help/C/sec_gettingstarted.xml

index c6a0daaf5dc65b51ea9c8c271f56cfa5e6772b93..b0c0a863e55e1a8c9a69602730f360fa48d3bf30 100644 (file)
        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
        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/
        for lists):
 <programlisting><![CDATA[
   list/