Apache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80Name Last modified Size Description
Parent Directory -
docstrip.cmd 1991-12-05 00:00 1.0K
exercise.doc 1992-07-02 01:00 17K
exercise.sty 1991-12-06 23:00 3.8K
exercise.tar.gz 1992-07-01 01:00 9.0K
exercise.tex 1991-12-05 00:00 2.3K
extest.tex 1991-12-05 00:00 1.0K
readme 1992-07-02 01:00 3.6K