• MARCHE Claude's avatar
    fix issue #61 · 50317a3a
    MARCHE Claude authored
    proof nodes are not anymore marked obsolete when they are detached
    50317a3a
session_itp.ml 66.7 KB