Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
hvfloat-0.inc 2026-05-18 15:24 5.0K
hvfloat-1.inc 2026-05-18 15:24 17K
hvfloat-2.inc 2026-05-18 15:24 5.2K
hvfloat-3.inc 2026-05-18 15:24 9.9K
hvfloat-4.inc 2026-05-18 15:24 5.0K
![[TXT]](/icons/text.gif){kind=icon}
hvfloat-fps.sty 2024-03-16 17:40 918
hvfloat.sty 2026-05-18 15:23 59K