Apache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80Name Last modified Size Description
Parent Directory -
example1.tex 1992-08-26 01:00 7.3K
lextex.tex 1992-08-26 01:00 118K
ltman.tex 1992-08-26 01:00 68K
read.me 1992-08-26 01:00 3.4K
rhlocal.tex 1992-08-26 01:00 501
ruled.tex 1992-08-26 01:00 2.7K
solicit.tex 1992-08-26 01:00 2.8K
txs.doc 1992-08-26 01:00 23K
txsruled.tex 1992-08-26 01:00 19K