html and tex generation added