On 12.11.19 07:14, MK Bug wrote: > Attached is the error I am facing while producing the PDF version of my > code. I am using window operating system. > Hi, you probably have to set the path to pdflatex in the Toolbox's preferences . Hope this helps, Markus  https://tla.msr-inria.inria.fr/tlatoolbox/doc/spec/pretty-printing.html -- You received this message because you are subscribed to the Google Groups "tlaplus" group. To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx. To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/6e6865e5-aa87-83b9-6606-86ac2c38ac80%40lemmster.de.
Screenshot from 2019-11-12 08-24-30.png
Description: PNG image