Gruppo Utilizzatori Italiani di TeX
Gentilissimo OldClaudio,
cosa devo sostituire a mirror.ctan.org, per connettermi al server olandese? Grazie mille