Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - license.md 2024-11-27 20:00 19K hep-text.ins 2024-11-27 20:00 1.6K hep-text-implementation.pdf 2024-11-27 20:00 381K hep-text-implementation.dtx 2024-11-27 20:00 12K hep-text-documentation.pdf 2024-11-27 20:00 361K bibliography.bib 2024-11-27 20:00 29K README.md 2024-11-27 20:00 620