3 ms·
https://yihui.name/tinytex/ https://yihui.name/tinytex/ is a pretty cool minimal tex distro with nice utilities for finding dependencies, if of interest :-)
by bruce_one 7y ago
https://yihui.name/tinytex/ https://yihui.name/tinytex/ is a pretty cool minimal tex distro with nice utilities for finding dependencies, if of interest :-)
- timClicks 7y agoThanks for the link, looks very useful!