Gruppo Utilizzatori Italiani di TeX
Grazie, ma non arrabbiatevi: so quel che faccio (più o meno… 😀 )
Desidero chiedervi se dopo l’update è necessario qualche refresh come in miktex oppure no. Mi riferisco al tab “Azioni” del tex live manager. Grazie
