• Guillaume Melquiond's avatar
    Add (none) as the first prover entry. · af8c5211
    Guillaume Melquiond authored
    Otherwise the default prover might be incorrectly shown to the user. For
    example, if the user never set a default prover, the interface shows that
    Alt-Ergo (or whatever comes first) is the default prover, while nothing
    happens when pressing 'p'.
    af8c5211
gconfig.ml 42.4 KB