From: Simone Piccardi Date: Fri, 4 Apr 2003 22:22:01 +0000 (+0000) Subject: Correzioni varie, imprecisioni nella gestione dei segnali, maggiori dettagli X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=commitdiff_plain;h=bdf6e88eeb9b3aef06d57930ec8b89083639e56d;hp=bdf6e88eeb9b3aef06d57930ec8b89083639e56d Correzioni varie, imprecisioni nella gestione dei segnali, maggiori dettagli sulle funzioni per la stampa dei messaggi di errore, e altri listati estratti dal latex ed inclusi esternamente ---