[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Failed to produce PDF using Toolbox 1.5.3


I got an error trying to produce a pretty printed PDF version of a TLA+ program. I have attached an image of the error I got. I am using the nightly build TLAToolbox-1.5.4-macosx.cocoa.x86_64. 

I verified that the directory SimpleProgram.toolbox exists with a SimpleProgram.tex file and I even tried to change the permission of the directory to 777 for all users but I still get the below error.