tlatools

Prevent multiple Toolbox instances from running simultaneously.

Markus Alexander Kuppe authored Dec 14, 2015

Running multiple Toolbox instances can lead to data corruption and thus should be prevented.

The primary use case for having multiple instances open, is to study files of spec A while working on B. File > Open Module > Add TLA+ module has been extended to open files from spec A in read-only mode.

[Bug][Toolbox[Changelog]

5952d614

History

5952d614 Dec 14, 2015

History

Name	Last commit	Last update
examples
general
org.lamport.tla.distributed.consumer
org.lamport.tla.toolbox.doc
org.lamport.tla.toolbox.editor.basic
org.lamport.tla.toolbox.feature.base
org.lamport.tla.toolbox.feature.branding
org.lamport.tla.toolbox.feature.editor
org.lamport.tla.toolbox.feature.help
org.lamport.tla.toolbox.feature.jclouds
org.lamport.tla.toolbox.feature.jnlp
org.lamport.tla.toolbox.feature.prover
org.lamport.tla.toolbox.feature.standalone
org.lamport.tla.toolbox.feature.tla2tex
org.lamport.tla.toolbox.feature.tlc
org.lamport.tla.toolbox.jclouds
org.lamport.tla.toolbox.jnlp
org.lamport.tla.toolbox.p2repository
org.lamport.tla.toolbox.product.product
org.lamport.tla.toolbox.product.standalone
org.lamport.tla.toolbox.test
org.lamport.tla.toolbox.tool.prover
org.lamport.tla.toolbox.tool.tla2tex.test
org.lamport.tla.toolbox.tool.tla2tex.uitest
org.lamport.tla.toolbox.tool.tla2tex
org.lamport.tla.toolbox.tool.tlc.test
org.lamport.tla.toolbox.tool.tlc.ui.test
org.lamport.tla.toolbox.tool.tlc.ui.uitest
org.lamport.tla.toolbox.tool.tlc.ui
org.lamport.tla.toolbox.tool.tlc
org.lamport.tla.toolbox.uitest
org.lamport.tla.toolbox
org.lamport.tlatools.api
org.lamport.tlatools.consumer.distributed
org.lamport.tlatools.feature
org.lamport.tlatools.impl.distributed
tlatools
.gitignore
pom.xml