Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
readmefig.tex 2023-03-21 12:09 258
readmecode.tex 2023-03-21 12:09 300
pausefig.tex 2023-03-21 12:09 355
hilitefig.tex 2023-03-21 12:09 375
kwfig.tex 2023-03-21 12:09 677
readmefig.svg 2023-03-21 12:09 46K