... rispetto a quella descritta qualche ora fa. D'altra parte, il gestore di aggiornamenti dà adesso il sistema, come aggiornato e quindi forzerò la chiusura di Terminale (che forse avrebbe bisogno, a sua volta, di una messa a punto!). Attilio