Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - ChangeLog 2022-06-22 10:55 4.5K fig/ 2022-06-21 11:42 - kotex-doc.pdf 2022-06-21 11:47 3.2M kotex-doc.tex 2021-07-17 02:06 35K kotex-utf-doc.pdf 2022-06-21 21:34 6.5M kotex-utf-doc.tex 2022-06-21 21:33 128K sample-finemath-setup.tex 2022-06-21 11:46 234