On 25.04.2017 13:44, Asterion Daedalus wrote:
> I have toolbox 1.5.0 running on windows 10.
> Getting now the following error from specification page:
> An internal error occurred during: "Periodic workspace save.".
> Cannot set lower sequence number for root (previous: 13, new: 12). Location: D:\Safety\TLA+\workspace\.
metadata\.plugins\org.eclipse. core.resources\.safetable\org. eclipse.core.resources
> When I switch to model editor I get:
> An internal error has occurred.
In a private email Asterion confirmed, that the bug is gone in the most
recent 1.5.3 release of the Toolbox.
You received this message because you are subscribed to a topic in the Google Groups "tlaplus" group.
To unsubscribe from this topic, visit https://groups.google.com/d/
To unsubscribe from this group and all its topics, send an email to tlaplus+unsubscribe@
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/
For more options, visit https://groups.google.com/d/