Index of /packages/tex/graphics/ketcindy/forLinux
Name
Last modified
Size
Description
Parent Directory
-
ReadmeLinuxE.pdf
2019-12-25 12:35
20K
ReadmeLinuxJ.pdf
2019-12-25 12:35
52K
setcindyetc.sh
2019-12-25 12:35
259
setketcindy.sh
2019-12-25 12:35
3.1K
setwork.sh
2019-12-25 12:35
1.1K
Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443