HomeIsabelle/Phabricator

support sequential LaTeX jobs: more robust when TeX installation is self…