::
grazie, sto installando la versione completa e vediamo se funziona.. se fosse la seconda opzione dove specifico che può essere utilizzata da tutti? perchè io ho installato Kile 2.1 con le relative dipendenze dal gestione pacchetti di debian. devo fare un’altra procedura?
