Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
LICENSE 2023-03-01 12:22 1.1K
README-ja.md 2023-03-01 20:06 2.5K
README.md 2023-03-01 20:07 2.3K
pxrubrica-en.pdf 2023-03-02 08:39 55K
pxrubrica-en.tex 2023-03-01 12:24 6.1K
pxrubrica.dtx 2023-03-02 08:36 207K
pxrubrica.ins 2017-04-27 02:54 118
pxrubrica.pdf 2023-03-02 08:39 384K
sample/ 2018-08-16 23:43 -