From a377dc5a0a0638f0847f27b66f0b095609777320 Mon Sep 17 00:00:00 2001 From: Simone Piccardi Date: Mon, 27 Aug 2018 19:51:07 +0200 Subject: [PATCH 1/1] Correzione --- signal.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/signal.tex b/signal.tex index 6daea44..8af17a6 100644 --- a/signal.tex +++ b/signal.tex @@ -322,9 +322,9 @@ Linux anche a seconda della architettura hardware e della versione del kernel. Quelli che invece sono stati, almeno a grandi linee, standardizzati, sono i nomi dei segnali e le costanti di preprocessore che li identificano, che sono -tutte nella forma \texttt{SIGnome}, e sono queste che devono essere usate nei -programmi. Come tutti gli altri nomi e le funzioni che concernono i segnali, -esse sono definite nell'header di sistema \headfile{signal.h}. +tutte nella forma \texttt{SIG\textsl{NOME}}, e sono queste che devono essere +usate nei programmi. Come tutti gli altri nomi e le funzioni che concernono i +segnali, esse sono definite nell'header di sistema \headfile{signal.h}. \begin{table}[!htb] \footnotesize -- 2.30.2