History isl-0.14/doc/manual.tex