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.
> java.lang.NullPointerException
In a private email Asterion confirmed, that the bug is gone in the most
recent 1.5.3 release of the Toolbox.
M.
--
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/topic/tlaplus/YrjXD9K_0Rc/ .unsubscribe
To unsubscribe from this group and all its topics, send an email to tlaplus+unsubscribe@googlegroups.com .
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus .
For more options, visit https://groups.google.com/d/optout .