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