Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - mpintro.tex 2013-06-16 16:38 39K mpintro.mp 2013-06-16 16:38 6.0K mpman.mp 2013-06-16 16:38 1.8K mpintro.bib 2013-06-16 16:38 1.2K Makefile 2013-06-16 16:38 766