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