[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Visualize state graphs in TLA toolbox
On Wednesday, November 29, 2017 at 2:50:48 AM UTC-8, Markus Alexander Kuppe wrote:
> 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  and will be part of
> the next Toolbox release.
> https://tla.msr-inria.inria.fr/tlatoolbox/ci/doc/model/advanced-page.html ;