Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443
Parent Directory - 00readme 2000-10-16 15:08 1.0K dvipaste.sty 2000-10-16 15:08 14K export.dtx 2000-10-16 16:04 28K export.ins 2000-10-16 15:39 1.3K export.l 2000-10-16 15:08 53 export.pdf 2012-07-11 13:43 274K