Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - ChangeLog 2009-10-20 21:13 214 README 2009-10-20 21:14 1.1K testsubstr.tex 2009-10-20 21:11 1.6K substr.sty 2009-10-20 21:14 5.6K testsubstr.pdf 2009-10-20 21:15 18K