diff options
Diffstat (limited to 'ide/mac_default_accel_map')
| -rw-r--r-- | ide/mac_default_accel_map | 372 |
1 files changed, 372 insertions, 0 deletions
diff --git a/ide/mac_default_accel_map b/ide/mac_default_accel_map new file mode 100644 index 00000000..4d34636f --- /dev/null +++ b/ide/mac_default_accel_map @@ -0,0 +1,372 @@ +; coqide.opt GtkAccelMap rc-file -*- scheme -*- +; this file is an automated accelerator map dump +; +; (gtk_accel_path "<DEFAULT ROOT>/C_anonical Structure/" "") +; (gtk_accel_path "<DEFAULT ROOT>/M_odule Type/" "") +; (gtk_accel_path "<DEFAULT ROOT>/c_ompute/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Templates/_E.../" "") +(gtk_accel_path "<Actions>/Templates/match" "<Shift><Meta>c") +; (gtk_accel_path "<DEFAULT ROOT>/D_erive Inversion/" "") +; (gtk_accel_path "<Actions>/Queries/Check" "F3") +; (gtk_accel_path "<DEFAULT ROOT>/i_dtac/" "") +; (gtk_accel_path "<DEFAULT ROOT>/L_oad/" "") +; (gtk_accel_path "<DEFAULT ROOT>/a_ssert/" "") +; (gtk_accel_path "<DEFAULT ROOT>/f_irstorder using/" "") +; (gtk_accel_path "<DEFAULT ROOT>/s_olve/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Tactics/_l.../" "") +(gtk_accel_path "<Actions>/Templates/Inductive" "<Shift><Meta>i") +; (gtk_accel_path "<DEFAULT ROOT>/a_ssert (__:__)/" "") +; (gtk_accel_path "<DEFAULT ROOT>/T_est Printing Synth/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Templates/_R.../" "") +; (gtk_accel_path "<Actions>/Help/Browse Coq Library" "") +; (gtk_accel_path "<DEFAULT ROOT>/U_nset Extraction Optimize/" "") +; (gtk_accel_path "<DEFAULT ROOT>/s_imple inversion/" "") +(gtk_accel_path "<Actions>/Edit/Copy" "<Meta>c") +; (gtk_accel_path "<DEFAULT ROOT>/E_xtract Inductive/" "") +(gtk_accel_path "<Actions>/Edit/Cut" "<Meta>x") +; (gtk_accel_path "<DEFAULT ROOT>/i_nfo/" "") +; (gtk_accel_path "<DEFAULT ROOT>/R_emove Printing If/" "") +; (gtk_accel_path "<DEFAULT ROOT>/e_apply/" "") +; (gtk_accel_path "<DEFAULT ROOT>/F_ixpoint/" "") +; (gtk_accel_path "<DEFAULT ROOT>/c_hange __ in/" "") +; (gtk_accel_path "<DEFAULT ROOT>/l_apply/" "") +; (gtk_accel_path "<DEFAULT ROOT>/s_imple induction/" "") +; (gtk_accel_path "<DEFAULT ROOT>/f_ail/" "") +; (gtk_accel_path "<DEFAULT ROOT>/e_lim/" "") +; (gtk_accel_path "<DEFAULT ROOT>/r_ewrite <- __ in/" "") +; (gtk_accel_path "<DEFAULT ROOT>/A_dd Printing Let/" "") +; (gtk_accel_path "<DEFAULT ROOT>/T_ransparent/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Tactics/_d.../" "") +(gtk_accel_path "<Actions>/Tactics/Wizard" "<Meta><Control>dollar") +; (gtk_accel_path "<Actions>/Windows/Detach View" "") +; (gtk_accel_path "<DEFAULT ROOT>/T_heorem/" "") +(gtk_accel_path "<Actions>/Templates/Scheme" "<Shift><Meta>s") +; (gtk_accel_path "<DEFAULT ROOT>/R_emark/" "") +; (gtk_accel_path "<Actions>/Compile/Compile" "") +; (gtk_accel_path "<DEFAULT ROOT>/A_dd Relation/" "") +; (gtk_accel_path "<DEFAULT ROOT>/r_ename __ into/" "") +; (gtk_accel_path "<Actions>/File/Save as" "") +; (gtk_accel_path "<DEFAULT ROOT>/f_irstorder/" "") +; (gtk_accel_path "<DEFAULT ROOT>/G_rammar/" "") +; (gtk_accel_path "<DEFAULT ROOT>/f_irstorder with/" "") +; (gtk_accel_path "<DEFAULT ROOT>/r_ed/" "") +; (gtk_accel_path "<DEFAULT ROOT>/D_efinition/" "") +; (gtk_accel_path "<DEFAULT ROOT>/R_equire Import/" "") +; (gtk_accel_path "<DEFAULT ROOT>/d_iscriminate/" "") +; (gtk_accel_path "<DEFAULT ROOT>/i_ntro after/" "") +; (gtk_accel_path "<Actions>/Export/Latex" "") +; (gtk_accel_path "<DEFAULT ROOT>/j_p/" "") +; (gtk_accel_path "<DEFAULT ROOT>/a_uto with/" "") +; (gtk_accel_path "<DEFAULT ROOT>/S_ection/" "") +; (gtk_accel_path "<DEFAULT ROOT>/r_ewrite/" "") +; (gtk_accel_path "<Actions>/Export/Html" "") +; (gtk_accel_path "<CoqIde MenuBar>/Tactics/_i.../" "") +; (gtk_accel_path "<DEFAULT ROOT>/a_utorewrite/" "") +; (gtk_accel_path "<DEFAULT ROOT>/F_ocus/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Templates/_O.../" "") +; (gtk_accel_path "<DEFAULT ROOT>/l_azy in/" "") +; (gtk_accel_path "<DEFAULT ROOT>/d_ependent inversion__clear __ with/" "") +; (gtk_accel_path "<DEFAULT ROOT>/c_utrewrite/" "") +(gtk_accel_path "<Actions>/Edit/Undo" "<Meta>u") +; (gtk_accel_path "<DEFAULT ROOT>/c_onstructor __ with/" "") +; (gtk_accel_path "<DEFAULT ROOT>/r_ing/" "") +; (gtk_accel_path "<DEFAULT ROOT>/d_ependent rewrite <-/" "") +; (gtk_accel_path "<DEFAULT ROOT>/e_limtype/" "") +(gtk_accel_path "<Actions>/Tactics/simpl" "<Meta><Control>s") +; (gtk_accel_path "<DEFAULT ROOT>/H_int/" "") +; (gtk_accel_path "<DEFAULT ROOT>/H_int Rewrite/" "") +; (gtk_accel_path "<DEFAULT ROOT>/V_ariable/" "") +; (gtk_accel_path "<DEFAULT ROOT>/U_nset Implicit Arguments/" "") +; (gtk_accel_path "<DEFAULT ROOT>/s_implify__eq/" "") +; (gtk_accel_path "<Actions>/Compile/Next error" "F7") +; (gtk_accel_path "<Actions>/Edit/Edit" "") +; (gtk_accel_path "<DEFAULT ROOT>/S_et Extraction Optimize/" "") +; (gtk_accel_path "<DEFAULT ROOT>/H_ypothesis/" "") +; (gtk_accel_path "<DEFAULT ROOT>/E_nd Silent./" "") +; (gtk_accel_path "<DEFAULT ROOT>/S_yntax/" "") +; (gtk_accel_path "<DEFAULT ROOT>/d_ecide equality/" "") +; (gtk_accel_path "<DEFAULT ROOT>/O_paque/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Templates/_T.../" "") +; (gtk_accel_path "<CoqIde MenuBar>/Tactics/_a.../" "") +; (gtk_accel_path "<CoqIde MenuBar>/Templates/_G.../" "") +; (gtk_accel_path "<DEFAULT ROOT>/c_ase/" "") +(gtk_accel_path "<Actions>/Navigation/Backward" "<Meta><Control>Up") +; (gtk_accel_path "<DEFAULT ROOT>/C_oFixpoint/" "") +; (gtk_accel_path "<DEFAULT ROOT>/P_rogram Fixpoint/" "") +; (gtk_accel_path "<DEFAULT ROOT>/d_ependent inversion__clear/" "") +; (gtk_accel_path "<DEFAULT ROOT>/c_ase __ with/" "") +; (gtk_accel_path "<DEFAULT ROOT>/a_ssumption/" "") +; (gtk_accel_path "<DEFAULT ROOT>/t_ransitivity/" "") +; (gtk_accel_path "<DEFAULT ROOT>/i_ntros until/" "") +; (gtk_accel_path "<DEFAULT ROOT>/s_plit/" "") +; (gtk_accel_path "<DEFAULT ROOT>/e_xists/" "") +(gtk_accel_path "<Actions>/Templates/Theorem" "<Shift><Meta>t") +; (gtk_accel_path "<Actions>/Navigation/Navigation" "") +; (gtk_accel_path "<DEFAULT ROOT>/H_int Unfold/" "") +; (gtk_accel_path "<DEFAULT ROOT>/I_mplicit Arguments/" "") +; (gtk_accel_path "<Actions>/Help/Help" "") +; (gtk_accel_path "<DEFAULT ROOT>/d_ecompose sum/" "") +; (gtk_accel_path "<DEFAULT ROOT>/A_dd Abstract Ring A Aplus Amult Aone Azero Ainv Aeq T./" "") +; (gtk_accel_path "<CoqIde MenuBar>/Te_mplates/" "") +(gtk_accel_path "<Actions>/Edit/Find in buffer" "<Meta>f") +; (gtk_accel_path "<DEFAULT ROOT>/r_eplace __ with/" "") +(gtk_accel_path "<Actions>/Tactics/omega" "<Meta><Control>o") +; (gtk_accel_path "<DEFAULT ROOT>/S_cheme/" "") +; (gtk_accel_path "<DEFAULT ROOT>/L_emma/" "") +; (gtk_accel_path "<DEFAULT ROOT>/i_nversion__clear __ in/" "") +; (gtk_accel_path "<DEFAULT ROOT>/E_xtraction Inline/" "") +; (gtk_accel_path "<DEFAULT ROOT>/S_yntactic Definition/" "") +; (gtk_accel_path "<DEFAULT ROOT>/i_nstantiate (__:=__)/" "") +; (gtk_accel_path "<DEFAULT ROOT>/C_hapter/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Templates/_L.../" "") +; (gtk_accel_path "<CoqIde MenuBar>/Tactics/_f.../" "") +; (gtk_accel_path "<Actions>/Queries/Queries" "") +; (gtk_accel_path "<DEFAULT ROOT>/T_est Printing Wildcard/" "") +(gtk_accel_path "<Actions>/File/Open" "<Meta>o") +; (gtk_accel_path "<DEFAULT ROOT>/f_old __ in/" "") +(gtk_accel_path "<Actions>/Navigation/Go to" "<Meta><Control>Right") +; (gtk_accel_path "<Actions>/Export/Export to" "") +; (gtk_accel_path "<DEFAULT ROOT>/c_ongruence/" "") +; (gtk_accel_path "<DEFAULT ROOT>/c_learbody/" "") +(gtk_accel_path "<Actions>/File/Close buffer" "<Meta>w") +; (gtk_accel_path "<DEFAULT ROOT>/a_pply/" "") +; (gtk_accel_path "<Actions>/Queries/SearchAbout" "F2") +; (gtk_accel_path "<DEFAULT ROOT>/i_ntro/" "") +; (gtk_accel_path "<DEFAULT ROOT>/H_int Immediate/" "") +; (gtk_accel_path "<DEFAULT ROOT>/p_ose __:=__)/" "") +; (gtk_accel_path "<DEFAULT ROOT>/U_nset Undo/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Tactics/_s.../" "") +; (gtk_accel_path "<DEFAULT ROOT>/P_rogram Definition/" "") +; (gtk_accel_path "<DEFAULT ROOT>/R_equire/" "") +; (gtk_accel_path "<DEFAULT ROOT>/c_ompare/" "") +; (gtk_accel_path "<DEFAULT ROOT>/s_ymmetry in/" "") +(gtk_accel_path "<Actions>/Display/Display coercions" "<Shift><Control>c") +(gtk_accel_path "<Actions>/Navigation/Previous" "<Meta><Control>less") +(gtk_accel_path "<Actions>/Display/Display all low-level contents" "<Shift><Control>l") +; (gtk_accel_path "<DEFAULT ROOT>/C_oercion Local/" "") +; (gtk_accel_path "<DEFAULT ROOT>/f_ix __ with/" "") +; (gtk_accel_path "<DEFAULT ROOT>/A_dd ML Path/" "") +; (gtk_accel_path "<DEFAULT ROOT>/A_xiom/" "") +; (gtk_accel_path "<Actions>/Templates/Templates" "") +; (gtk_accel_path "<DEFAULT ROOT>/a_bstract/" "") +; (gtk_accel_path "<Actions>/Edit/Clear Undo Stack" "") +(gtk_accel_path "<Actions>/File/New" "<Meta>n") +; (gtk_accel_path "<CoqIde MenuBar>/Tactics/_hnf/" "") +; (gtk_accel_path "<DEFAULT ROOT>/d_o/" "") +; (gtk_accel_path "<DEFAULT ROOT>/E_xtract Constant/" "") +; (gtk_accel_path "<DEFAULT ROOT>/E_nd/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Templates/_Qed./" "") +; (gtk_accel_path "<DEFAULT ROOT>/A_dd Rec ML Path/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Templates/_D.../" "") +(gtk_accel_path "<Actions>/Navigation/Hide" "<Meta><Control>h") +; (gtk_accel_path "<DEFAULT ROOT>/c_ofix/" "") +; (gtk_accel_path "<CoqIde MenuBar>/_Try Tactics/" "") +; (gtk_accel_path "<DEFAULT ROOT>/S_et Printing Wildcard/" "") +; (gtk_accel_path "<DEFAULT ROOT>/i_nversion__clear/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Templates/_V.../" "") +; (gtk_accel_path "<Actions>/Export/Ps" "") +; (gtk_accel_path "<DEFAULT ROOT>/U_nset Hyps__limit/" "") +; (gtk_accel_path "<DEFAULT ROOT>/H_int Extern/" "") +; (gtk_accel_path "<DEFAULT ROOT>/f_unctional induction/" "") +; (gtk_accel_path "<DEFAULT ROOT>/U_nset Extraction AutoInline/" "") +; (gtk_accel_path "<DEFAULT ROOT>/U_nfocus/" "") +; (gtk_accel_path "<Actions>/Edit/External editor" "") +; (gtk_accel_path "<DEFAULT ROOT>/I_dentity Coercion/" "") +; (gtk_accel_path "<DEFAULT ROOT>/a_bsurd/" "") +; (gtk_accel_path "<DEFAULT ROOT>/c_hange/" "") +(gtk_accel_path "<Actions>/Tactics/eauto" "<Meta><Control>e") +; (gtk_accel_path "<DEFAULT ROOT>/O_bligations Tactic/" "") +(gtk_accel_path "<Actions>/Tactics/trivial" "<Meta><Control>v") +; (gtk_accel_path "<DEFAULT ROOT>/d_ependent inversion/" "") +; (gtk_accel_path "<DEFAULT ROOT>/c_bv/" "") +; (gtk_accel_path "<DEFAULT ROOT>/A_dd Ring A Aplus Amult Aone Azero Ainv Aeq T [ c1 ... cn ]. /" "") +; (gtk_accel_path "<DEFAULT ROOT>/p_ose/" "") +; (gtk_accel_path "<DEFAULT ROOT>/s_et (__:=__)/" "") +; (gtk_accel_path "<DEFAULT ROOT>/R_equire Export/" "") +; (gtk_accel_path "<DEFAULT ROOT>/L_tac/" "") +; (gtk_accel_path "<DEFAULT ROOT>/A_dd Rec LoadPath/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Tactics/_c.../" "") +(gtk_accel_path "<Actions>/Navigation/End" "<Meta><Control>End") +(gtk_accel_path "<Actions>/Templates/Lemma" "<Shift><Meta>l") +(gtk_accel_path "<Actions>/Navigation/Start" "<Meta><Control>Home") +; (gtk_accel_path "<CoqIde MenuBar>/Templates/_I.../" "") +(gtk_accel_path "<Actions>/File/Print..." "<Meta>p") +; (gtk_accel_path "<DEFAULT ROOT>/d_ependent rewrite ->/" "") +; (gtk_accel_path "<DEFAULT ROOT>/S_tructure/" "") +; (gtk_accel_path "<DEFAULT ROOT>/T_est Printing Let/" "") +; (gtk_accel_path "<DEFAULT ROOT>/T_ime/" "") +; (gtk_accel_path "<DEFAULT ROOT>/g_eneralize/" "") +(gtk_accel_path "<Actions>/Display/Display all basic low-level contents" "<Shift><Control>a") +; (gtk_accel_path "<CoqIde MenuBar>/Tactics/_p.../" "") +; (gtk_accel_path "<DEFAULT ROOT>/f_old/" "") +; (gtk_accel_path "<DEFAULT ROOT>/H_int Resolve/" "") +; (gtk_accel_path "<DEFAULT ROOT>/M_utual Inductive/" "") +; (gtk_accel_path "<DEFAULT ROOT>/i_nversion __ in/" "") +; (gtk_accel_path "<Actions>/Windows/Show/Hide Toolbar" "") +(gtk_accel_path "<Actions>/File/Save" "<Meta>s") +; (gtk_accel_path "<Actions>/File/Save all" "") +; (gtk_accel_path "<Actions>/Queries/Print" "F4") +; (gtk_accel_path "<DEFAULT ROOT>/c_onstructor/" "") +; (gtk_accel_path "<Actions>/Export/Dvi" "") +; (gtk_accel_path "<DEFAULT ROOT>/s_etoid__replace/" "") +; (gtk_accel_path "<DEFAULT ROOT>/D_efined./" "") +; (gtk_accel_path "<DEFAULT ROOT>/I_nfix/" "") +(gtk_accel_path "<Actions>/Navigation/Next" "<Meta><Control>greater") +; (gtk_accel_path "<DEFAULT ROOT>/A_dd Morphism/" "") +; (gtk_accel_path "<Actions>/Windows/Windows" "") +; (gtk_accel_path "<DEFAULT ROOT>/e_xact/" "") +; (gtk_accel_path "<DEFAULT ROOT>/c_bv in/" "") +; (gtk_accel_path "<DEFAULT ROOT>/t_ry/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Templates/_A.../" "") +(gtk_accel_path "<Actions>/Display/Display notations" "<Shift><Control>n") +; (gtk_accel_path "<DEFAULT ROOT>/c_lear/" "") +; (gtk_accel_path "<Actions>/Compile/Make" "F6") +(gtk_accel_path "<Actions>/Tactics/eauto with *" "<Meta><Control>ampersand") +; (gtk_accel_path "<Actions>/Help/Browse Coq Manual" "") +; (gtk_accel_path "<CoqIde MenuBar>/Templates/_N.../" "") +(gtk_accel_path "<Actions>/File/Quit" "<Meta>q") +; (gtk_accel_path "<DEFAULT ROOT>/u_nfold/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Tactics/_u.../" "") +; (gtk_accel_path "<DEFAULT ROOT>/d_ouble induction/" "") +; (gtk_accel_path "<DEFAULT ROOT>/S_et Silent./" "") +; (gtk_accel_path "<DEFAULT ROOT>/V_ariables/" "") +; (gtk_accel_path "<DEFAULT ROOT>/U_nset Printing Wildcard/" "") +; (gtk_accel_path "<DEFAULT ROOT>/r_ewrite <-/" "") +; (gtk_accel_path "<DEFAULT ROOT>/I_nductive/" "") +; (gtk_accel_path "<DEFAULT ROOT>/e_auto with/" "") +; (gtk_accel_path "<DEFAULT ROOT>/r_epeat/" "") +; (gtk_accel_path "<Actions>/Queries/Locate" "") +; (gtk_accel_path "<DEFAULT ROOT>/S_et Hyps__limit/" "") +; (gtk_accel_path "<DEFAULT ROOT>/A_dd Abstract Semi Ring A Aplus Amult Aone Azero Aeq T./" "") +; (gtk_accel_path "<DEFAULT ROOT>/c_ompute in/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Templates/_F.../" "") +; (gtk_accel_path "<DEFAULT ROOT>/G_lobal Variable/" "") +; (gtk_accel_path "<DEFAULT ROOT>/t_auto/" "") +; (gtk_accel_path "<DEFAULT ROOT>/E_xtraction NoInline/" "") +; (gtk_accel_path "<DEFAULT ROOT>/u_nfold __ in/" "") +; (gtk_accel_path "<DEFAULT ROOT>/s_imple destruct/" "") +(gtk_accel_path "<Actions>/Navigation/Interrupt" "<Meta><Control>Break") +; (gtk_accel_path "<CoqIde MenuBar>/Templates/_S.../" "") +; (gtk_accel_path "<DEFAULT ROOT>/i_njection/" "") +; (gtk_accel_path "<DEFAULT ROOT>/R_ead Module/" "") +; (gtk_accel_path "<DEFAULT ROOT>/P_rogram Lemma/" "") +; (gtk_accel_path "<DEFAULT ROOT>/U_nset Silent./" "") +(gtk_accel_path "<Actions>/Display/Display universe levels" "<Shift><Control>u") +; (gtk_accel_path "<DEFAULT ROOT>/f_ourier/" "") +; (gtk_accel_path "<DEFAULT ROOT>/D_erive Inversion__clear/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Tactics/_omega/" "") +; (gtk_accel_path "<DEFAULT ROOT>/S_et Undo/" "") +; (gtk_accel_path "<DEFAULT ROOT>/A_dd Semi Ring A Aplus Amult Aone Azero Aeq T [ c1 ... cn ]./" "") +; (gtk_accel_path "<DEFAULT ROOT>/s_impl __ in/" "") +; (gtk_accel_path "<Actions>/Windows/Show/Hide Query Pane" "Escape") +; (gtk_accel_path "<DEFAULT ROOT>/R_estore State/" "") +; (gtk_accel_path "<DEFAULT ROOT>/R_emove Printing Let/" "") +; (gtk_accel_path "<DEFAULT ROOT>/A_dd Printing If/" "") +(gtk_accel_path "<Actions>/Tactics/tauto" "<Meta><Control>p") +; (gtk_accel_path "<DEFAULT ROOT>/s_impl/" "") +; (gtk_accel_path "<DEFAULT ROOT>/i_ntros/" "") +; (gtk_accel_path "<DEFAULT ROOT>/s_ymmetry/" "") +; (gtk_accel_path "<DEFAULT ROOT>/c_ut/" "") +; (gtk_accel_path "<DEFAULT ROOT>/r_efine/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Tactics/_e.../" "") +; (gtk_accel_path "<DEFAULT ROOT>/e_exact/" "") +(gtk_accel_path "<Actions>/Navigation/Forward" "<Meta><Control>Down") +(gtk_accel_path "<Actions>/Edit/Paste" "<Meta>v") +; (gtk_accel_path "<DEFAULT ROOT>/C_oercion/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Tactics/_r.../" "") +; (gtk_accel_path "<DEFAULT ROOT>/d_estruct/" "") +; (gtk_accel_path "<DEFAULT ROOT>/A_dd Setoid/" "") +; (gtk_accel_path "<Actions>/Queries/Whelp Locate" "") +; (gtk_accel_path "<DEFAULT ROOT>/T_est Printing If/" "") +; (gtk_accel_path "<Actions>/Display/Display" "") +; (gtk_accel_path "<CoqIde MenuBar>/Tactics/_move __ after/" "") +(gtk_accel_path "<Actions>/Edit/Complete Word" "<Meta>slash") +; (gtk_accel_path "<DEFAULT ROOT>/s_ubst/" "") +; (gtk_accel_path "<Actions>/Help/About Coq" "") +; (gtk_accel_path "<DEFAULT ROOT>/s_etoid__rewrite/" "") +; (gtk_accel_path "<Actions>/Tactics/Try Tactics" "") +; (gtk_accel_path "<CoqIde MenuBar>/Templates/_C.../" "") +; (gtk_accel_path "<DEFAULT ROOT>/L_ocal/" "") +; (gtk_accel_path "<DEFAULT ROOT>/s_et/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Tactics/_quote/" "") +(gtk_accel_path "<Actions>/Templates/Definition" "<Shift><Meta>d") +; (gtk_accel_path "<DEFAULT ROOT>/S_et Implicit Arguments/" "") +; (gtk_accel_path "<Actions>/File/Revert all buffers" "") +; (gtk_accel_path "<CoqIde MenuBar>/Templates/_P.../" "") +; (gtk_accel_path "<DEFAULT ROOT>/t_rivial/" "") +(gtk_accel_path "<Actions>/Display/Display existential variable instances" "<Shift><Control>e") +; (gtk_accel_path "<CoqIde MenuBar>/Tactics/_j.../" "") +; (gtk_accel_path "<DEFAULT ROOT>/A_dd LoadPath/" "") +; (gtk_accel_path "<DEFAULT ROOT>/N_otation/" "") +; (gtk_accel_path "<Actions>/Edit/Preferences" "") +; (gtk_accel_path "<DEFAULT ROOT>/L_oad Verbose/" "") +; (gtk_accel_path "<DEFAULT ROOT>/i_ntro __ after/" "") +; (gtk_accel_path "<DEFAULT ROOT>/D_erive Dependent Inversion/" "") +; (gtk_accel_path "<DEFAULT ROOT>/d_ependent inversion __ with/" "") +; (gtk_accel_path "<DEFAULT ROOT>/P_rogram Theorem/" "") +; (gtk_accel_path "<DEFAULT ROOT>/E_xtraction Language/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Templates/_U.../" "") +(gtk_accel_path "<Actions>/Display/Display raw matching expressions" "<Shift><Control>m") +; (gtk_accel_path "<DEFAULT ROOT>/c_asetype/" "") +(gtk_accel_path "<Actions>/Edit/Find backwards" "<Meta>b") +; (gtk_accel_path "<DEFAULT ROOT>/S_ave./" "") +; (gtk_accel_path "<DEFAULT ROOT>/p_attern/" "") +; (gtk_accel_path "<DEFAULT ROOT>/M_odule/" "") +; (gtk_accel_path "<DEFAULT ROOT>/D_eclare ML Module/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Templates/_H.../" "") +; (gtk_accel_path "<DEFAULT ROOT>/F_act/" "") +; (gtk_accel_path "<DEFAULT ROOT>/A_dd Field/" "") +; (gtk_accel_path "<DEFAULT ROOT>/R_emove LoadPath/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Templates/_Write State/" "") +; (gtk_accel_path "<Actions>/Compile/Make makefile" "") +; (gtk_accel_path "<DEFAULT ROOT>/C_oInductive/" "") +; (gtk_accel_path "<Actions>/Compile/Compile buffer" "") +; (gtk_accel_path "<DEFAULT ROOT>/l_eft/" "") +; (gtk_accel_path "<DEFAULT ROOT>/a_pply __ with/" "") +(gtk_accel_path "<Actions>/File/Rehighlight" "<Meta>l") +; (gtk_accel_path "<Actions>/File/File" "") +; (gtk_accel_path "<DEFAULT ROOT>/D_erive Dependent Inversion__clear/" "") +; (gtk_accel_path "<DEFAULT ROOT>/d_ecompose/" "") +; (gtk_accel_path "<DEFAULT ROOT>/r_ewrite __ in/" "") +(gtk_accel_path "<Actions>/Display/Display implicit arguments" "<Shift><Control>i") +; (gtk_accel_path "<DEFAULT ROOT>/e_lim __ using/" "") +; (gtk_accel_path "<DEFAULT ROOT>/a_ssert (__:=__)/" "") +; (gtk_accel_path "<DEFAULT ROOT>/i_nversion __ using/" "") +; (gtk_accel_path "<DEFAULT ROOT>/P_arameter/" "") +; (gtk_accel_path "<DEFAULT ROOT>/H_int Constructors/" "") +; (gtk_accel_path "<DEFAULT ROOT>/j_p <n>/" "") +; (gtk_accel_path "<DEFAULT ROOT>/p_rogress/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Templates/_M.../" "") +; (gtk_accel_path "<DEFAULT ROOT>/e_lim __ with/" "") +; (gtk_accel_path "<DEFAULT ROOT>/f_irst/" "") +; (gtk_accel_path "<DEFAULT ROOT>/l_azy/" "") +; (gtk_accel_path "<DEFAULT ROOT>/i_nversion/" "") +(gtk_accel_path "<Actions>/Help/Help for keyword" "<Meta>h") +; (gtk_accel_path "<DEFAULT ROOT>/a_uto/" "") +; (gtk_accel_path "<DEFAULT ROOT>/G_oal/" "") +; (gtk_accel_path "<DEFAULT ROOT>/i_nversion __ using __ in/" "") +(gtk_accel_path "<Actions>/Tactics/intuition" "<Meta><Control>i") +; (gtk_accel_path "<DEFAULT ROOT>/r_ed in/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Tactics/_g.../" "") +; (gtk_accel_path "<DEFAULT ROOT>/g_eneralize dependent/" "") +; (gtk_accel_path "<Actions>/Queries/About" "F5") +; (gtk_accel_path "<DEFAULT ROOT>/r_ight/" "") +(gtk_accel_path "<Actions>/Tactics/auto" "<Meta><Control>a") +(gtk_accel_path "<Actions>/Templates/Fixpoint" "<Shift><Meta>f") +; (gtk_accel_path "<DEFAULT ROOT>/r_eflexivity/" "") +; (gtk_accel_path "<DEFAULT ROOT>/i_nduction/" "") +; (gtk_accel_path "<DEFAULT ROOT>/i_ntuition/" "") +; (gtk_accel_path "<CoqIde MenuBar>/Tactics/_t.../" "") +; (gtk_accel_path "<DEFAULT ROOT>/f_ix/" "") +; (gtk_accel_path "<Actions>/Export/Pdf" "") +; (gtk_accel_path "<DEFAULT ROOT>/N_ext Obligation/" "") +(gtk_accel_path "<Actions>/Tactics/auto with *" "<Meta><Control>asterisk") +; (gtk_accel_path "<DEFAULT ROOT>/R_ecord/" "") +; (gtk_accel_path "<DEFAULT ROOT>/P_roof./" "") +; (gtk_accel_path "<DEFAULT ROOT>/c_ontradiction/" "") +; (gtk_accel_path "<DEFAULT ROOT>/S_et Extraction AutoInline/" "") +; (gtk_accel_path "<DEFAULT ROOT>/e_auto/" "") +; (gtk_accel_path "<DEFAULT ROOT>/d_ecompose record/" "") +; (gtk_accel_path "<DEFAULT ROOT>/f_ield/" "") +; (gtk_accel_path "<DEFAULT ROOT>/E_val/" "") +; (gtk_accel_path "<DEFAULT ROOT>/R_eset Extraction Inline/" "") |