{xleftmargin=\parindent,xrightmargin=\parindent,fontseries=b,
fontfamily=courier,fontsize=\footnotesize}
+\DefineVerbatimEnvironment{Console}{Verbatim}
+{commandchars=\\\{\},xleftmargin=\parindent,xrightmargin=\parindent,fontfamily=courier,fontsize=\footnotesize}
+
+
\usepackage[bookmarks=true,plainpages=false,pdfpagelabels,
hyperfootnotes=false]{hyperref}
\include{system}
\include{signal}
\include{session}
-\include{ipc}
\include{fileadv}
+\include{ipc}
\include{thread}
% Commentare sotto se si genera la prima parte