Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
CHANGES 2010-09-08 17:43 118
INSTALL 2010-09-08 17:44 1.0K
manifest.txt 2010-09-08 17:46 906
quadrat.pdf 2010-09-04 18:47 121K
quadrat.tex 2010-09-04 18:47 5.3K