• François Bobot's avatar
    session_ro : Fix provers handling · 9d4e5566
    François Bobot authored
    - add the provers list which can be found in the session.
    - remove Detected/Undetected since we use only the information
    provided by the session, not which provers are currently available
    on the current computer.
    9d4e5566
html_session.ml 13.1 KB