Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2021-01-22 22:39 472 penrose.tex 2021-01-22 22:40 25K penrose_code.dtx 2021-01-22 22:39 96K penrose_code.pdf 2021-01-22 22:40 453K penrose.pdf 2021-01-22 22:43 544K