Home page Models Systems Tools IT staff References
Installing MiKTeX Using MiKTeX
MiKTeX is a Windows implementation of the TeX text formatter. It is not currently used by us, but could be used for creating reports of LHS runs on Windows, should we ever choose to do that. Here is the MiKTeX web site.
General remarks about installing MiKTeX.
sudo apt-get update
sudo apt-get -y install tool-package-name
General remarks about using MiKTeX.