Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README.md 2020-09-14 11:07 1.0K mcrule-examples.tex 2020-09-16 22:10 8.8K mcrule-examples.pdf 2020-09-14 11:00 60K multicolrule.dtx 2020-09-16 22:10 71K multicolrule.pdf 2020-09-14 11:07 508K