Remove the tactic wizard, as it has not worked for several years and no one complained (fixes #10580).

1 files changed, 0 insertions, 10 deletions

diff --git a/ide/MacOS/default_accel_map b/ide/MacOS/default_accel_map
index 54a592a04d..6bcf3b438f 100644
--- a/ide/MacOS/default_accel_map
+++ b/ide/MacOS/default_accel_map
@@ -7,7 +7,6 @@
 ; (gtk_accel_path "<Actions>/Templates/Template Program Lemma" "")
 (gtk_accel_path "<Actions>/Templates/Lemma" "<Shift><Primary>l")
 ; (gtk_accel_path "<Actions>/Templates/Template Fact" "")
-(gtk_accel_path "<Actions>/Tactics/auto" "<Primary><Control>a")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic fold" "")
 ; (gtk_accel_path "<Actions>/Help/About Coq" "")
 ; (gtk_accel_path "<Actions>/Templates/Template Add Ring A Aplus Amult Aone Azero Ainv Aeq T [ c1 ... cn ]. " "")
@@ -19,7 +18,6 @@
 ; (gtk_accel_path "<Actions>/Tactics/Tactic inversion" "")
 ; (gtk_accel_path "<Actions>/Templates/Template Write State" "")
 ; (gtk_accel_path "<Actions>/Export/Export to" "")
-(gtk_accel_path "<Actions>/Tactics/auto with *" "<Primary><Control>asterisk")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic inversion--clear" "")
 ; (gtk_accel_path "<Actions>/Templates/Template Implicit Arguments" "")
 ; (gtk_accel_path "<Actions>/Edit/Copy" "<Primary>c")
@@ -50,7 +48,6 @@
 ; (gtk_accel_path "<Actions>/Tactics/Tactic fail" "")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic left" "")
 (gtk_accel_path "<Actions>/Edit/Undo" "<Primary>u")
-(gtk_accel_path "<Actions>/Tactics/eauto with *" "<Primary><Control>ampersand")
 ; (gtk_accel_path "<Actions>/Templates/Template Infix" "")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic functional induction" "")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic clear" "")
@@ -149,7 +146,6 @@
 (gtk_accel_path "<Actions>/Templates/Theorem" "<Shift><Primary>t")
 ; (gtk_accel_path "<Actions>/Templates/Template Derive Dependent Inversion--clear" "")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic unfold" "")
-; (gtk_accel_path "<Actions>/Tactics/Try Tactics" "")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic red in" "")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic rewrite <- -- in" "")
 ; (gtk_accel_path "<Actions>/Templates/Template Hint Extern" "")
@@ -187,7 +183,6 @@
 ; (gtk_accel_path "<Actions>/Tactics/Tactic intro -- after" "")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic fold -- in" "")
 ; (gtk_accel_path "<Actions>/Templates/Template Program Definition" "")
-(gtk_accel_path "<Actions>/Tactics/Wizard" "<Primary><Control>dollar")
 ; (gtk_accel_path "<Actions>/Templates/Template Hint Resolve" "")
 ; (gtk_accel_path "<Actions>/Templates/Template Set Extraction Optimize" "")
 ; (gtk_accel_path "<Actions>/File/Revert all buffers" "")
@@ -228,7 +223,6 @@
 ; (gtk_accel_path "<Actions>/Export/Html" "")
 ; (gtk_accel_path "<Actions>/Templates/Template Extraction Inline" "")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic absurd" "")
-(gtk_accel_path "<Actions>/Tactics/intuition" "<Primary><Control>i")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic simple induction" "")
 ; (gtk_accel_path "<Actions>/Queries/Queries" "")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic rewrite -- in" "")
@@ -289,7 +283,6 @@
 ; (gtk_accel_path "<Actions>/Templates/Template Add Field" "")
 ; (gtk_accel_path "<Actions>/Templates/Template Require Export" "")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic rewrite <-" "")
-(gtk_accel_path "<Actions>/Tactics/omega" "<Primary><Control>o")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic split" "")
 ; (gtk_accel_path "<Actions>/File/Quit" "<Primary>q")
 (gtk_accel_path "<Actions>/View/Display existential variable instances" "<Shift><Control>e")
@@ -328,7 +321,6 @@
 ; (gtk_accel_path "<Actions>/Edit/Edit" "")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic firstorder" "")
 ; (gtk_accel_path "<Actions>/Templates/Template C" "")
-(gtk_accel_path "<Actions>/Tactics/simpl" "<Primary><Control>s")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic replace -- with" "")
 ; (gtk_accel_path "<Actions>/Templates/Template A" "")
 ; (gtk_accel_path "<Actions>/Templates/Template Remove Printing Record" "")
@@ -360,13 +352,11 @@
 ; (gtk_accel_path "<Actions>/File/File" "")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic setoid--replace" "")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic generalize dependent" "")
-(gtk_accel_path "<Actions>/Tactics/trivial" "<Primary><Control>v")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic fix -- with" "")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic pose --:=--)" "")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic auto with" "")
 ; (gtk_accel_path "<Actions>/Templates/Template Add Printing Record" "")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic inversion -- in" "")
-(gtk_accel_path "<Actions>/Tactics/eauto" "<Primary><Control>e")
 ; (gtk_accel_path "<Actions>/File/Open" "<Primary>o")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic elim -- using" "")
 ; (gtk_accel_path "<Actions>/Templates/Template Hint" "")