From 94267002fc18aa42a8c09779ad6485f93c3e90fa Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 7 Jan 2008 16:47:07 +0000 Subject: [PATCH] fixed typo --- matita/help/C/sec_gettingstarted.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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):