X-Git-Url: https://gapil.gnulinux.it/gitweb/?a=blobdiff_plain;f=intro.tex;h=849fc858fe96a2cee0a7734020c909be6efab874;hb=769471b8de26b01b593f2df5845ce40dfb92c607;hp=34950b5ded552bdc8e96438b8d629664acf444db;hpb=4ad4523de32d786ae4c24ef157bd4b8fe4aac534;p=gapil.git

diff --git a/intro.tex b/intro.tex
index 34950b5..849fc85 100644
--- a/intro.tex
+++ b/intro.tex
@@ -280,11 +280,11 @@ mantenuto dal sistema e non corrisponde all'orologio hardware del calcolatore.
 Il \textit{process time} di solito si esprime in secondi e viene usato appunto
 per tenere conto dei tempi di esecuzione dei processi. Per ciascun processo il
 kernel tiene tre di questi tempi: 
-\begin{itemize}
+\begin{itemize*}
 \item \textit{clock time}
 \item \textit{user time}
 \item \textit{system time}
-\end{itemize}
+\end{itemize*}
 il primo è il tempo ``reale'' (viene anche chiamato \textit{wall clock time})
 dall'avvio del processo, e misura il tempo trascorso fino alla sua
 conclusione; chiaramente un tale tempo dipende anche dal carico del sistema e