support sequential LaTeX jobs: more robust when TeX installation is self-installing packages etc.;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE2cdbb6a2f2a7: updated to latest latex due to new mechanism for dealing with bold ccfonts
- Branches
- Unknown
- Tags