Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[DIR]](/icons/folder.gif){kind=icon}
sample/ 2018-08-16 21:43 -
![[ ]](/icons/layout.gif){kind=icon}
pxrubrica.pdf 2023-03-02 07:39 384K
![[ ]](/icons/unknown.gif){kind=icon}
pxrubrica.dtx 2023-03-02 07:36 207K
pxrubrica-en.pdf 2023-03-02 07:39 55K
![[ ]](/icons/tex.gif){kind=icon}
pxrubrica-en.tex 2023-03-01 11:24 6.1K
README-ja.md 2023-03-01 19:06 2.5K
README.md 2023-03-01 19:07 2.3K
LICENSE 2023-03-01 11:22 1.1K
pxrubrica.ins 2017-04-27 00:54 118