Bisher habe ich mit `tlmgr --repository http://...` oder `tlmgr repository add` gearbeitet. Ich habe hier [im Blog][1] gelesen, dass TeX Live 2013 die Handhabung verschiedener Installationsquellen verbessert hat, die Rede war von "pinning". Was ist das, was kann TeX Live 2013 jetzt besser? [1]: http://texwelt.de/blog/tex-live-2013-erschienen/

Bisher habe ich mit `tlmgr --repository http://...` oder `tlmgr repository add` gearbeitet. Ich habe hier [im Blog][1] gelesen, dass TeX Live 2013 die Handhabung verschiedener Installationsquellen verbessert hat, die Rede war von "pinning". Was ist das, was kann TeX Live 2013 jetzt besser? [1]: http://texwelt.de/blog/tex-live-2013-erschienen/