Open olaure01 opened 3 years ago
If an option is activated in proof-construction mode, going back and forth to proof-transformation mode forgets activated options.
In proof-transformation mode, other options are not blocked: clicking on them, moves back to proof-construction mode.
If an option is activated in proof-construction mode, going back and forth to proof-transformation mode forgets activated options.