Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
ftnxtra.tex 2013-04-03 18:14 567
ftnxtra.pdf 2013-04-04 12:17 22K
ftnxtra.ins 2013-04-04 12:16 1.7K
ftnxtra.dtx 2013-04-03 18:14 6.2K
README 2013-04-04 12:16 953