Correzioni e integrazioni
authorSimone Piccardi <piccardi@gnulinux.it>
Wed, 22 May 2002 21:43:02 +0000 (21:43 +0000)
committerSimone Piccardi <piccardi@gnulinux.it>
Wed, 22 May 2002 21:43:02 +0000 (21:43 +0000)
system.tex

index 4ce46aaf47452f58cf243a3364a34b508924a5ca..e2b9a4cc47c325f7c67287969290e33c9af173f7 100644 (file)
@@ -2542,7 +2542,9 @@ Stampa un messaggio di errore formattato.
 \noindent ed il suo comportamento รจ identico a quello di \func{error} se non
 per il fatto che, separati con il solito due punti-spazio, vengono inseriti un
 nome di file indicato da \param{fname} ed un numero di linea subito dopo la
-stampa del nome del programma.
+stampa del nome del programma. Inoltre essa usa un'altra variabile globale,
+\var{error\_one\_per\_line}, che settata ad un valore diverso da zero fa si
+che errori relativi alla stessa linea non vengano ripetuti.