Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
README.md 2023-07-05 12:26 448
changes.txt 2023-07-05 12:26 1.7K
footmisc-2011-06-06.sty 2023-07-05 12:26 25K
footmisc-code.pdf 2023-07-05 12:26 358K
footmisc-code.tex 2023-07-05 12:26 101
footmisc-doc.pdf 2023-07-05 12:26 245K
footmisc-doc.tex 2023-07-05 12:26 176
footmisc.dtx 2023-07-05 12:26 81K
footmisc.ins 2023-07-05 12:26 2.1K