Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - Makefile 2023-03-20 10:04 498 stex-devel.tex 2023-03-20 10:04 68K stex-tutorial.pdf 2023-03-29 10:23 3.3M stex-manual.pdf 2023-03-29 10:24 728K stex-doc.tex 2023-09-19 18:34 2.2K stex-docheader.tex 2023-10-13 09:16 11K stex-doc.pdf 2023-10-16 09:17 4.7M packages/ 2023-10-16 11:29 -