No more src dir in lutin-man

doc/lutin-man/src/language.tex → doc/lutin-man/language.tex

@@ -340,11 +340,11 @@ Here is an example of (global) boolean combinator:
 
 ~\\
 
-Here is an example of (global) trace combinator. It takes two traces (behavior) 
+Here is an example of (global) trace combinator. It takes two traces (behaviors) 
 and "returns" a behavior that:
 \begin{itemize}
-\item runs the two behavior arguments in parrallel,
-\item terminates as soon as the first one terminates.
+\item runs the two trace arguments in parrallel,
+\item terminates when the second one terminates.
 \end{itemize}
 \begin{program}
 \key{let} as\_long\_as(X, Y : \key{trace}) : \key{trace} = \\