Apache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80Name Last modified Size Description
Parent Directory -
README 2005-08-13 13:50 241
example.tex 2006-04-02 16:49 256
dottex.ins 2005-08-07 12:32 3.6K
dottex.dtx 2007-08-22 12:26 13K
gpl.txt 2005-08-07 15:31 15K
dottex.pdf 2007-08-22 12:26 94K