Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - linguex-doc.pdf 2013-05-28 17:57 219K ps-trees-doc.pdf 2013-05-28 17:57 47K linguex-doc.tex 2013-05-28 17:57 23K ps-trees-doc.tex 2013-05-28 17:57 11K