mCRL2org/mCRL2

mCRL2ide should remember the last selected equivalence for reduction

mlaveaux opened this issue · 1 comments

This does not necessarily have to persistent between restarts.

Fixed