mCRL2 icon indicating copy to clipboard operation
mCRL2 copied to clipboard

Published 20 hours ago • verified publisher icon mCRL2org

It is unclear that ltsgraph can anchor nodes

Open mlaveaux opened this issue 1 year ago • 0 comments

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

mlaveaux avatar Feb 26 '24 16:02 mlaveaux