History isl-0.16.1/doc/manual.tex