Subject pretty much says it. Up-to-date Mac. Running tools ok. TexShop installed. TLA+ Toolbox fails to run pdflatex in correct directory, but I can run it there fine using terminal/console/command line. pdflatex is on my path. I looked for a setting in the toolbox to program a path to pdflatex. What am I missing? Sorry for the uninteresting question. Regards, --Kevin