Index of /packages/tex/install/macros/jptex/latex
Name
Last modified
Size
Description
Parent Directory
-
jlreq.tds.zip
2024-10-04 00:06
11M
platex.tds.zip
2023-02-26 13:25
2.2M
jsclasses.tds.zip
2023-02-23 05:27
938K
uplatex.tds.zip
2021-05-31 14:57
886K
Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443