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

Re: Failed to produce PDF using Toolbox 1.5.3

Nevermind, I found this https://github.com/tlaplus/tlaplus/issues/54

On Monday, October 2, 2017 at 9:13:46 PM UTC-7, Kapil Agarwal wrote:

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.