Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - nonfloat.pdf 2005-05-25 11:54 204K nonfloat-en.pdf 2005-05-25 11:54 128K nonfloat.dtx 1999-07-08 12:48 13K nonfloat-en.tex 2005-05-25 11:54 9.0K nonfloat.ins 1999-07-08 12:48 2.5K