mCRL2org/mCRL2

It is unclear that ltsgraph can anchor nodes

mlaveaux opened this issue · 1 comments

Make the help text more noticeable or explain this in a different place.

I have adapted the text in the ltsgraph documentation on the website slightly.