X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=filestd.tex;h=55ad9c1c0b35f36f1f6016011491eef611e5cacc;hp=7a87a37700925a52f08fa2d23b52542b60402188;hb=e9aa62ccbeefc114915aba31f257d55f6c19a05a;hpb=2567503eef2f6e35067c3795a744d04bc9317c91

diff --git a/filestd.tex b/filestd.tex
index 7a87a37..55ad9c1 100644
--- a/filestd.tex
+++ b/filestd.tex
@@ -22,12 +22,13 @@ del tipo \type{FILE *} (tanto che in certi caso il termine di puntatore a file
 è diventato sinonimo di stream).
 
 \subsection{Gli stream standard}
-\label{sec:file_stdfiles}
+\label{sec:file_std_stream}
 
-Quando un programma viene lanciato il processo ha sempre tre stream
-predefiniti aperti, che rappresentano i canali standard di input/output
-prestabiliti per il processo; anche questi tre stream sono definiti
-nell'header \file{stdio.h} e sono:
+
+Ai tre file standard (vedi \secref{sec:file_std_descr}) aperti per ogni
+processo, corrispondono altrettanti stream predefiniti per ogni processo, che
+rappresentano i canali standard di input/output prestabiliti; anche questi
+tre stream sono definiti nell'header \file{stdio.h} e sono:
 
 \begin{itemize}
 \item \var{FILE * stdin} Lo \textit{standard input} cioè lo stream da cui