Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2005-08-13 14:50 241 dottex.dtx 2007-08-22 13:26 13K dottex.ins 2005-08-07 13:32 3.6K dottex.pdf 2007-08-22 13:26 94K example.tex 2006-04-02 17:49 256 gpl.txt 2005-08-07 16:31 15K