F CHANGES.;1                        	CHANGES
F FIXDATE.PL;1                      	fixdate.pl
F ITLSHORT.000;1                    	itlshort-book.ps.gz
F ITLSHORT.DVI;1                    	itlshort.dvi
F ITLSHORT.GZ;1                     	itlshort.ps.gz
F ITLSHORT.PDF;1                    	itlshort.pdf
F MAKEFILE.;1                       	Makefile
F MANIFEST.;1                       	MANIFEST
F README.;1                         	README
D SRC                               	src
F TRANSLAT.;1                       	TRANSLATIONS