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

[tlaplus] Re: stepwise refinement?

Where as i have been working happily on Goole Cloud . It appear that running latex (on laptop A) to produce a pdf can break something and store some information some where so that even starting from scratch with a new specification - not on the cloud  - will not work and throw errors such as that attached. But if i open up my other laptop (laptop B)  it works fine with the cloud data. So the problem is not with the data.  Also I can switch things around and get specifications that work on laptop A but fail on laptop B. So it does not appear to be the laptops. At this point the only solution I can find is to avoid using the cloud which is a shame as it was working just fine.  
kind regards david

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 post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.

Attachment: Error.png
Description: PNG image