Updated haskintex page.