• 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
Name
Last commit
Last update
..
bench Loading commit data...
config Loading commit data...
coq-plugin Loading commit data...
core Loading commit data...
driver Loading commit data...
ide Loading commit data...
parser Loading commit data...
printer Loading commit data...
programs Loading commit data...
tools Loading commit data...
tptp2why Loading commit data...
transform Loading commit data...
util Loading commit data...
why3doc Loading commit data...
config.sh.in Loading commit data...
main.ml Loading commit data...
realize.ml Loading commit data...
why3.ml Loading commit data...