X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fhelp%2FC%2Fsec_gettingstarted.xml;fp=matita%2Fhelp%2FC%2Fsec_gettingstarted.xml;h=b0c0a863e55e1a8c9a69602730f360fa48d3bf30;hb=94267002fc18aa42a8c09779ad6485f93c3e90fa;hp=c6a0daaf5dc65b51ea9c8c271f56cfa5e6772b93;hpb=5044ed858486dc12ad7cd1c2f2f22c62d9c8708d;p=helm.git 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 "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):