Commit 645a3c5d authored by Sylvain Dailler's avatar Sylvain Dailler

Remove counterexamples prover from contextual menu

parent 4132f249
Pipeline #55529 passed with stages
in 47 minutes and 14 seconds
......@@ -14,6 +14,10 @@ Tools
command line. So far, only one option exists, for renaming files
fixes issue #227
IDE
* when clicking on the status of an unproved proofAttempt in the proof tree,
launch counterexamples.
Version 1.1.0, October 17, 2018
-------------------------------
......
......@@ -1998,7 +1998,11 @@ let init_completion provers transformations strategies commands =
String.compare (Strings.lowercase h1) (Strings.lowercase h2))
provers
in
List.iter add_submenu_prover provers_sorted;
(* Remove counterexample provers from the menu *)
let menu_provers =
List.filter (fun (_, _, s) -> not (Strings.ends_with s "counterexamples"))
provers_sorted in
List.iter add_submenu_prover menu_provers;
context_factory#add_separator ();
let all_strings =
List.fold_left (fun acc (shortcut,strategy) ->
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment