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

Re: [tlaplus] Visualize state graphs in TLA toolbox



On 29.11.2017 01:54, gajera...@xxxxxxxxx wrote:
> 2) I don't see any State Graph preference page in File/Preferences menu in my toolbox.

Hi Shirish,

the current documentation is indeed incorrect. There used to be a "State
Graph" preference page but it was eventually merged into the "PDF
Viewer" page.

The corrected documentation can be found on-line [1] and will be part of
the next Toolbox release.

Thanks

Markus

[1]
https://tla.msr-inria.inria.fr/tlatoolbox/ci/doc/model/advanced-page.html   ;