2012/12/16 Paul Isambert <[email protected]>: > doesn't (both with TL2011); so perhaps the problem has really been > fixed, except TL is not 100% up to date.
Binaries for TL are rarely updated via tlmgr. Best Martin
2012/12/16 Paul Isambert <[email protected]>: > doesn't (both with TL2011); so perhaps the problem has really been > fixed, except TL is not 100% up to date.
Binaries for TL are rarely updated via tlmgr. Best Martin