Name Last modified Size Description Parent Directory - README.txt 21-Feb-2018 00:23 1.2K makedtx.dtx 21-Feb-2018 17:13 58K makedtx.ins 21-Feb-2018 17:13 1.3K makedtx.pdf 21-Feb-2018 17:14 293K Apache/2.2 Server at ftp.ntua.gr Port 80
Name Last modified Size Description Parent Directory - README.txt 21-Feb-2018 00:23 1.2K makedtx.dtx 21-Feb-2018 17:13 58K makedtx.ins 21-Feb-2018 17:13 1.3K makedtx.pdf 21-Feb-2018 17:14 293K
Name Last modified Size Description![[DIR]](/images/back.gif)
Parent Directory -
![[TXT]](/images/readme.gif)
README.txt 21-Feb-2018 00:23 1.2K
![[ ]](/images/unknown.gif)
makedtx.dtx 21-Feb-2018 17:13 58K
makedtx.ins 21-Feb-2018 17:13 1.3K
![[ ]](/icons/layout.gif)
makedtx.pdf 21-Feb-2018 17:14 293K
