lib.tex updated