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