CHANGES MANIFEST Makefile README TRANSLATIONS fixdate.pl itlshort-book.ps itlshort.dvi itlshort.pdf itlshort.ps src/biblio.tex src/contrib.tex src/custom.tex src/fancyheadings.sty src/kees.fig src/lshort.sty src/itlshort.tex src/lssym.tex src/math.tex src/mylayout.sty src/ndt.tex src/overview.tex src/spec.tex src/things.tex src/title.tex src/typeset.tex