Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
README 2024-05-08 21:16 744
ifisinteger.tex 2024-04-01 00:32 1.7K
ifisdimension.tex 2024-04-05 07:51 3.2K
ifis-macros-doc.tex 2024-05-08 21:13 5.1K
ifis-macros-doc.pdf 2024-05-08 21:33 22K