Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
README.md 2023-08-20 21:24 1.0K
![[ ]](/icons/layout.gif){kind=icon}
hebinp.pdf 2023-08-20 21:21 214K
hebfontenc.pdf 2023-08-20 21:20 253K
![[ ]](/icons/unknown.gif){kind=icon}
hebrew-fonts.ins 2023-08-20 21:19 4.1K
hebfontenc.fdd 2023-08-20 21:12 39K
hebinp.dtx 2023-08-20 21:06 24K