• 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...
bin Loading commit data...
comparison Loading commit data...
doc Loading commit data...
drivers Loading commit data...
examples Loading commit data...
misc Loading commit data...
modules Loading commit data...
plugins Loading commit data...
realizations/coq/real Loading commit data...
share Loading commit data...
src Loading commit data...
tests Loading commit data...
theories Loading commit data...
.gitignore Loading commit data...
CHANGES Loading commit data...
DEVELOPER.readme Loading commit data...
INSTALL Loading commit data...
LICENSE Loading commit data...
META.in Loading commit data...
Makefile.in Loading commit data...
OCAML-LICENSE Loading commit data...
README Loading commit data...
ROADMAP Loading commit data...
TODO Loading commit data...
Version Loading commit data...
configure.in Loading commit data...