Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - termsim.pdf 2021-12-26 14:24 306K termsim-doc-en.pdf 2021-12-26 14:24 76K termsim.dtx 2021-12-26 14:24 45K ctxdoc-en.cls 2021-12-26 14:24 29K termsim-doc-en.tex 2021-12-26 14:24 18K README.md 2021-12-26 14:24 3.7K build.sh 2021-12-26 14:24 289