[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.