Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2023-09-24 20:57 1.7K bytefield.ins 2023-09-24 20:57 1.7K bf-example.tex 2023-09-24 20:57 23K bytefield.dtx 2023-09-24 20:57 137K bf-example.pdf 2023-09-24 20:57 195K bytefield.pdf 2023-09-24 20:57 612K