Name Last modified Size ![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/layout.gif){kind=icon}
heria-proposal-3.2.pdf 2026-08-17 13:50 285K
heria-proposal-3.3.pdf 2026-08-17 13:50 285K
heria-proposal-3.4.pdf 2026-08-17 13:50 286K
heria-proposal-4.0.pdf 2026-08-17 13:50 283K
heria-proposal-5.1.pdf 2026-08-17 13:50 271K
![[ ]](/icons/unknown.gif){kind=icon}
heria.dtx 2026-08-17 13:50 115K
heria.ins 2026-08-17 13:50 5.1K
heria.pdf 2026-08-17 13:50 308K