-
MARCHE Claude authored
The contextual menu inkoved by mouse-3 is now simplified: it contains only the strategies and the provers that are marked visible in the preferences
0c0513a5
The contextual menu inkoved by mouse-3 is now simplified: it contains only the strategies and the provers that are marked visible in the preferences