On 25/08/2015 07:24, [email protected] (Michal Hoftich) wrote:
Did it! It was indeed updated. I normally update TeXLive every other week so I had not noticed the change.Try to update TL, it seems that changed files are included nowe.
Best wishes and thanks again, guido -- Guido Milanese http://docenti.unicatt.it/ita/guido_fabrizio_milanese/
