Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80
Parent Directory - flatten.c 1995-11-13 01:00 55K flatten.l 1995-11-13 01:00 28K getopt.c 1995-11-13 01:00 2.8K getopt.h 1995-11-13 01:00 373 srchenv.c 1995-11-13 01:00 11K srchenv.h 1995-11-13 01:00 203 README 1996-04-19 01:00 2.7K flatten.ps 1996-04-19 01:00 389K flatten.tex 1996-04-19 01:00 18K makefile 1996-04-19 01:00 2.4K man 1996-04-19 01:00 3.1K