Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
README.txt 2022-05-13 14:51 514
COPYRIGHT.txt 2022-05-13 17:18 715
biblio.bib 2022-05-13 14:22 2.2K
manual-macros.tex 2022-05-13 14:38 26K
msc.tex 2022-05-13 14:49 85K
msc.sty 2022-05-13 14:48 116K
msc.pdf 2022-05-13 14:54 330K