Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2002-02-28 01:00 6.6K byname.sty 2002-02-28 01:00 1.7K smartref-doc.pdf 2010-10-31 12:55 307K smartref-doc.tex 2010-10-31 12:55 8.4K smartref.sty 2002-02-28 01:00 7.4K