Added haskintex in library form.