Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
rigidnotation.pdf 2024-05-12 19:28 267K
rigidnotation.ins 2024-05-12 19:16 1.4K
rigidnotation.dtx 2024-05-12 19:27 20K
README.md 2024-05-12 19:16 1.8K