[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.
the current documentation is indeed incorrect. There used to be a "State
Graph" preference page but it was eventually merged into the "PDF
The corrected documentation can be found on-line  and will be part of
the next Toolbox release.