Added haskintex in library form, second part.