Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - xdoc2.pdf 2004-08-22 22:09 471K docindex.pdf 2004-08-22 22:09 278K xdocdemo.pdf 2004-08-22 21:59 178K xdocdemo.tex 2003-07-08 19:12 129K docindex.ins 2003-07-08 19:12 1.4K xdoc2.ins 2003-07-08 19:12 1.1K xdoc2.dtx 2003-07-08 19:12 214K docindex.dtx 2003-07-08 19:12 81K README 2003-07-08 02:00 3.3K