Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - compact.png 2016-06-06 13:32 35K linop.pdf 2016-06-06 13:35 199K linop.sty 2016-06-06 13:55 3.0K linop.tex 2016-06-06 13:56 10K README.md 2016-06-06 13:56 940