Re: [tlaplus] Visualize state graphs in TLA toolbox

[gajera...@xxxxxxxxx]

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 [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   ;

Thanks Markus