summaryrefslogtreecommitdiff
path: root/ide/MacOS/default_accel_map
blob: 54a592a04def7d102406f6537a78ae95d207d711 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
; coqide GtkAccelMap rc-file         -*- scheme -*-
; this file is an automated accelerator map dump
;
; (gtk_accel_path "<Actions>/Templates/Template Read Module" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic pattern" "")
(gtk_accel_path "<Actions>/Templates/Definition" "<Shift><Primary>d")
; (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 ]. " "")
; (gtk_accel_path "<Actions>/Templates/Template Hypothesis" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic repeat" "")
; (gtk_accel_path "<Actions>/Templates/Template Unset Extraction Optimize" "")
; (gtk_accel_path "<Actions>/Templates/Template Add Printing Constructor" "")
; (gtk_accel_path "<Actions>/Windows/Detach View" "")
; (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")
; (gtk_accel_path "<Actions>/Tactics/Tactic inversion -- using" "")
; (gtk_accel_path "<Actions>/View/Previous tab" "<Shift>Left")
; (gtk_accel_path "<Actions>/Tactics/Tactic change -- in" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic jp" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic red" "")
; (gtk_accel_path "<Actions>/Templates/Template Coercion" "")
; (gtk_accel_path "<Actions>/Templates/Template CoFixpoint" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic intros until" "")
; (gtk_accel_path "<Actions>/Templates/Template Derive Dependent Inversion" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic eapply" "")
; (gtk_accel_path "<Actions>/View/View" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic change" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic firstorder using" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic decompose sum" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic cut" "")
; (gtk_accel_path "<Actions>/Templates/Template Remove Printing Let" "")
; (gtk_accel_path "<Actions>/Templates/Template Structure" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic compute in" "")
; (gtk_accel_path "<Actions>/Queries/Locate" "")
; (gtk_accel_path "<Actions>/Templates/Template Save." "")
; (gtk_accel_path "<Actions>/Templates/Template Canonical Structure" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic compare" "")
; (gtk_accel_path "<Actions>/Templates/Template Next Obligation" "")
(gtk_accel_path "<Actions>/View/Display notations" "<Shift><Control>n")
; (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" "")
; (gtk_accel_path "<Actions>/Templates/Template End Silent." "")
; (gtk_accel_path "<Actions>/Tactics/Tactic intros" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic constructor -- with" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic destruct" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic intro after" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic abstract" "")
; (gtk_accel_path "<Actions>/Compile/Compile buffer" "")
; (gtk_accel_path "<Actions>/Queries/About" "F5")
; (gtk_accel_path "<Actions>/Templates/Template CoInductive" "")
; (gtk_accel_path "<Actions>/Templates/Template Test Printing Wildcard" "")
; (gtk_accel_path "<Actions>/Templates/Template Unset Hyps--limit" "")
; (gtk_accel_path "<Actions>/Templates/Template Transparent" "")
; (gtk_accel_path "<Actions>/Export/Ps" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic elim" "")
; (gtk_accel_path "<Actions>/Templates/Template Extract Constant" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic assert (--:--)" "")
; (gtk_accel_path "<Actions>/Templates/Template Add Rec LoadPath" "")
; (gtk_accel_path "<Actions>/Edit/Redo" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic compute" "")
; (gtk_accel_path "<Actions>/Compile/Next error" "F7")
; (gtk_accel_path "<Actions>/Templates/Template Add ML Path" "")
; (gtk_accel_path "<Actions>/Templates/Template Test Printing If" "")
; (gtk_accel_path "<Actions>/Templates/Template Load Verbose" "")
; (gtk_accel_path "<Actions>/Templates/Template Reset Extraction Inline" "")
; (gtk_accel_path "<Actions>/Templates/Template Set Implicit Arguments" "")
; (gtk_accel_path "<Actions>/Templates/Template Test Printing Let" "")
; (gtk_accel_path "<Actions>/Windows/Windows" "")
; (gtk_accel_path "<Actions>/Templates/Template Defined." "")
(gtk_accel_path "<Actions>/Templates/match" "<Shift><Primary>c")
; (gtk_accel_path "<Actions>/Tactics/Tactic set (--:=--)" "")
; (gtk_accel_path "<Actions>/Templates/Template Proof." "")
; (gtk_accel_path "<Actions>/Compile/Make" "F6")
; (gtk_accel_path "<Actions>/Templates/Template Module Type" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic apply -- with" "")
; (gtk_accel_path "<Actions>/File/Save as" "")
; (gtk_accel_path "<Actions>/Templates/Template Set Hyps--limit" "")
; (gtk_accel_path "<Actions>/Templates/Template Global Variable" "")
; (gtk_accel_path "<Actions>/Templates/Template Remove Printing Constructor" "")
; (gtk_accel_path "<Actions>/Templates/Template Add Setoid" "")
; (gtk_accel_path "<Actions>/Edit/Find Next" "F3")
; (gtk_accel_path "<Actions>/Edit/Find" "<Primary>f")
; (gtk_accel_path "<Actions>/Templates/Template Add Relation" "")
; (gtk_accel_path "<Actions>/Queries/Print" "F4")
; (gtk_accel_path "<Actions>/Templates/Template Obligations Tactic" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic trivial" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic first" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic case" "")
; (gtk_accel_path "<Actions>/Templates/Template Hint Constructors" "")
; (gtk_accel_path "<Actions>/Templates/Template Add Abstract Ring A Aplus Amult Aone Azero Ainv Aeq T." "")
; (gtk_accel_path "<Actions>/Templates/Template Coercion Local" "")
(gtk_accel_path "<Actions>/View/Show Query Pane" "<Control>Escape")
; (gtk_accel_path "<Actions>/Tactics/Tactic cbv" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic inversion--clear -- in" "")
; (gtk_accel_path "<Actions>/Templates/Template Add Rec ML Path" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic apply" "")
; (gtk_accel_path "<Actions>/Export/Latex" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic inversion -- using -- in" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic generalize" "")
(gtk_accel_path "<Actions>/Navigation/Backward" "<Primary><Control>Up")
; (gtk_accel_path "<Actions>/Tactics/Tactic p" "")
(gtk_accel_path "<Actions>/Navigation/Hide" "<Primary><Control>h")
; (gtk_accel_path "<Actions>/File/Close buffer" "<Primary>w")
; (gtk_accel_path "<Actions>/Tactics/Tactic induction" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic eauto with" "")
(gtk_accel_path "<Actions>/View/Display raw matching expressions" "<Shift><Control>m")
; (gtk_accel_path "<Actions>/Tactics/Tactic d" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic u" "")
; (gtk_accel_path "<Actions>/Templates/Templates" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic s" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic lapply" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic t" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic r" "")
; (gtk_accel_path "<Actions>/Edit/Replace" "<Primary>r")
; (gtk_accel_path "<Actions>/Tactics/Tactic case -- with" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic eexact" "")
; (gtk_accel_path "<Actions>/Queries/Check" "F3")
; (gtk_accel_path "<Actions>/Tactics/Tactic omega" "")
; (gtk_accel_path "<Actions>/File/New" "<Primary>n")
; (gtk_accel_path "<Actions>/Tactics/Tactic l" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic intro" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic j" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic i" "")
; (gtk_accel_path "<Actions>/Templates/Template Definition" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic g" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic f" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic e" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic c" "")
(gtk_accel_path "<Actions>/File/Rehighlight" "<Primary>l")
; (gtk_accel_path "<Actions>/Tactics/Tactic simple inversion" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic a" "")
; (gtk_accel_path "<Actions>/Templates/Template Mutual Inductive" "")
; (gtk_accel_path "<Actions>/Templates/Template Extraction NoInline" "")
(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" "")
; (gtk_accel_path "<Actions>/Templates/Template Unfocus" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic dependent inversion--clear" "")
; (gtk_accel_path "<Actions>/Help/Browse Coq Library" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic lazy" "")
; (gtk_accel_path "<Actions>/Templates/Template Scheme" "")
(gtk_accel_path "<Actions>/Tactics/tauto" "<Primary><Control>p")
; (gtk_accel_path "<Actions>/Tactics/Tactic cutrewrite" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic contradiction" "")
; (gtk_accel_path "<Actions>/Templates/Template Set Printing Wildcard" "")
; (gtk_accel_path "<Actions>/Templates/Template Add LoadPath" "")
(gtk_accel_path "<Actions>/Navigation/Previous" "<Primary><Control>less")
; (gtk_accel_path "<Actions>/Templates/Template Require" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic simpl" "")
; (gtk_accel_path "<Actions>/Templates/Template Require Import" "")
; (gtk_accel_path "<Actions>/Templates/Template Add Abstract Semi Ring A Aplus Amult Aone Azero Aeq T." "")
(gtk_accel_path "<Actions>/Navigation/Forward" "<Primary><Control>Down")
; (gtk_accel_path "<Actions>/Tactics/Tactic rename -- into" "")
; (gtk_accel_path "<Actions>/Compile/Compile" "")
; (gtk_accel_path "<Actions>/File/Save all" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic fix" "")
; (gtk_accel_path "<Actions>/Templates/Template Parameter" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic assert" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic do" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic ring" "")
; (gtk_accel_path "<Actions>/Export/Pdf" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic quote" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic symmetry in" "")
; (gtk_accel_path "<Actions>/Help/Help" "")
(gtk_accel_path "<Actions>/Templates/Inductive" "<Shift><Primary>i")
; (gtk_accel_path "<Actions>/Tactics/Tactic idtac" "")
; (gtk_accel_path "<Actions>/Templates/Template Syntax" "")
; (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" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic subst" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic autorewrite" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic pose" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic simplify--eq" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic clearbody" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic eauto" "")
; (gtk_accel_path "<Actions>/Templates/Template Grammar" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic exact" "")
; (gtk_accel_path "<Actions>/Templates/Template Unset Implicit Arguments" "")
; (gtk_accel_path "<Actions>/Templates/Template Extract Inductive" "")
(gtk_accel_path "<Actions>/View/Display implicit arguments" "<Shift><Control>i")
; (gtk_accel_path "<Actions>/Tactics/Tactic symmetry" "")
; (gtk_accel_path "<Actions>/Templates/Template Add Printing Let" "")
; (gtk_accel_path "<Actions>/Help/Help for keyword" "<Primary>h")
; (gtk_accel_path "<Actions>/File/Save" "<Primary>s")
; (gtk_accel_path "<Actions>/Compile/Make makefile" "")
; (gtk_accel_path "<Actions>/Templates/Template Remove LoadPath" "")
(gtk_accel_path "<Actions>/Navigation/Interrupt" "<Primary><Control>Break")
(gtk_accel_path "<Actions>/Navigation/End" "<Primary><Control>End")
; (gtk_accel_path "<Actions>/Templates/Template Add Morphism" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic field" "")
; (gtk_accel_path "<Actions>/Templates/Template Axiom" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic solve" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic casetype" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic cbv in" "")
; (gtk_accel_path "<Actions>/Templates/Template Load" "")
; (gtk_accel_path "<Actions>/Templates/Template Goal" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic exists" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic decompose record" "")
(gtk_accel_path "<Actions>/Navigation/Go to" "<Primary><Control>Right")
; (gtk_accel_path "<Actions>/Templates/Template Remark" "")
; (gtk_accel_path "<Actions>/Templates/Template Set Undo" "")
; (gtk_accel_path "<Actions>/Templates/Template Inductive" "")
(gtk_accel_path "<Actions>/Edit/Preferences" "<Primary>VoidSymbol")
; (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" "")
; (gtk_accel_path "<Actions>/Templates/Template Hint Rewrite" "")
; (gtk_accel_path "<Actions>/Templates/Template Add Semi Ring A Aplus Amult Aone Azero Aeq T [ c1 ... cn ]." "")
; (gtk_accel_path "<Actions>/Navigation/Navigation" "")
; (gtk_accel_path "<Actions>/Help/Browse Coq Manual" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic transitivity" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic auto" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic dependent inversion -- with" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic assumption" "")
; (gtk_accel_path "<Actions>/Templates/Template Notation" "")
; (gtk_accel_path "<Actions>/Edit/Cut" "<Primary>x")
; (gtk_accel_path "<Actions>/Templates/Template Theorem" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic constructor" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic elim -- with" "")
; (gtk_accel_path "<Actions>/Templates/Template Identity Coercion" "")
(gtk_accel_path "<Actions>/View/Display all low-level contents" "<Shift><Control>l")
; (gtk_accel_path "<Actions>/Tactics/Tactic right" "")
; (gtk_accel_path "<Actions>/Edit/Find Previous" "<Shift>F3")
; (gtk_accel_path "<Actions>/Tactics/Tactic cofix" "")
; (gtk_accel_path "<Actions>/Templates/Template Restore State" "")
; (gtk_accel_path "<Actions>/Templates/Template Lemma" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic refine" "")
; (gtk_accel_path "<Actions>/Templates/Template Section" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic assert (--:=--)" "")
; (gtk_accel_path "<Actions>/Templates/Template Unset Printing Wildcard" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic progress" "")
; (gtk_accel_path "<Actions>/Templates/Template Add Printing If" "")
; (gtk_accel_path "<Actions>/Templates/Template Chapter" "")
(gtk_accel_path "<Actions>/File/Print..." "<Primary>p")
; (gtk_accel_path "<Actions>/Templates/Template Record" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic info" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic firstorder with" "")
; (gtk_accel_path "<Actions>/Templates/Template Hint Unfold" "")
; (gtk_accel_path "<Actions>/Templates/Template Set Silent." "")
; (gtk_accel_path "<Actions>/Templates/Template Program Theorem" "")
; (gtk_accel_path "<Actions>/Templates/Template Declare ML Module" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic lazy in" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic unfold -- in" "")
; (gtk_accel_path "<Actions>/Edit/Paste" "<Primary>v")
; (gtk_accel_path "<Actions>/Templates/Template Remove Printing If" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic intuition" "")
; (gtk_accel_path "<Actions>/Queries/SearchAbout" "F2")
; (gtk_accel_path "<Actions>/Tactics/Tactic dependent rewrite ->" "")
; (gtk_accel_path "<Actions>/Templates/Template Module" "")
; (gtk_accel_path "<Actions>/Templates/Template Unset Extraction AutoInline" "")
(gtk_accel_path "<Actions>/Templates/Scheme" "<Shift><Primary>s")
; (gtk_accel_path "<Actions>/Templates/Template V" "")
; (gtk_accel_path "<Actions>/Templates/Template Variable" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic decide equality" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic instantiate (--:=--)" "")
; (gtk_accel_path "<Actions>/Templates/Template Syntactic Definition" "")
; (gtk_accel_path "<Actions>/Templates/Template Set Extraction AutoInline" "")
; (gtk_accel_path "<Actions>/Templates/Template Unset Undo" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic dependent inversion" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic setoid--rewrite" "")
; (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")
(gtk_accel_path "<Actions>/Navigation/Start" "<Primary><Control>Home")
; (gtk_accel_path "<Actions>/Tactics/Tactic dependent rewrite <-" "")
; (gtk_accel_path "<Actions>/Templates/Template U" "")
; (gtk_accel_path "<Actions>/Templates/Template Variables" "")
; (gtk_accel_path "<Actions>/Templates/Template S" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic move -- after" "")
; (gtk_accel_path "<Actions>/Templates/Template Unset Silent." "")
; (gtk_accel_path "<Actions>/Templates/Template Local" "")
; (gtk_accel_path "<Actions>/Templates/Template T" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic reflexivity" "")
; (gtk_accel_path "<Actions>/Templates/Template R" "")
; (gtk_accel_path "<Actions>/Templates/Template Time" "")
; (gtk_accel_path "<Actions>/Templates/Template P" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic decompose" "")
; (gtk_accel_path "<Actions>/Templates/Template N" "")
; (gtk_accel_path "<Actions>/Templates/Template Eval" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic congruence" "")
; (gtk_accel_path "<Actions>/Templates/Template O" "")
; (gtk_accel_path "<Actions>/Templates/Template E" "")
; (gtk_accel_path "<Actions>/Templates/Template I" "")
; (gtk_accel_path "<Actions>/Templates/Template H" "")
; (gtk_accel_path "<Actions>/Templates/Template Extraction Language" "")
; (gtk_accel_path "<Actions>/Templates/Template M" "")
; (gtk_accel_path "<Actions>/Templates/Template Derive Inversion" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic double induction" "")
; (gtk_accel_path "<Actions>/Templates/Template L" "")
; (gtk_accel_path "<Actions>/Templates/Template Derive Inversion--clear" "")
(gtk_accel_path "<Actions>/View/Display universe levels" "<Shift><Control>u")
; (gtk_accel_path "<Actions>/Templates/Template G" "")
; (gtk_accel_path "<Actions>/Templates/Template F" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic dependent inversion--clear -- with" "")
; (gtk_accel_path "<Actions>/Templates/Template D" "")
; (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" "")
; (gtk_accel_path "<Actions>/Templates/Template Qed." "")
; (gtk_accel_path "<Actions>/Templates/Template Program Fixpoint" "")
(gtk_accel_path "<Actions>/View/Display coercions" "<Shift><Control>c")
; (gtk_accel_path "<Actions>/Tactics/Tactic hnf" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic injection" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic rewrite" "")
; (gtk_accel_path "<Actions>/Templates/Template Opaque" "")
; (gtk_accel_path "<Actions>/Templates/Template Focus" "")
; (gtk_accel_path "<Actions>/Templates/Template Ltac" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic simple destruct" "")
(gtk_accel_path "<Actions>/View/Display all basic low-level contents" "<Shift><Control>a")
; (gtk_accel_path "<Actions>/Tactics/Tactic jp <n>" "")
; (gtk_accel_path "<Actions>/Templates/Template Test Printing Synth" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic set" "")
; (gtk_accel_path "<Actions>/Edit/External editor" "")
; (gtk_accel_path "<Actions>/View/Show Toolbar" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic try" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic discriminate" "")
(gtk_accel_path "<Actions>/Templates/Fixpoint" "<Shift><Primary>f")
(gtk_accel_path "<Actions>/Edit/Complete Word" "<Primary>slash")
(gtk_accel_path "<Actions>/Navigation/Next" "<Primary><Control>greater")
; (gtk_accel_path "<Actions>/Tactics/Tactic elimtype" "")
; (gtk_accel_path "<Actions>/Templates/Template End" "")
; (gtk_accel_path "<Actions>/Templates/Template Fixpoint" "")
; (gtk_accel_path "<Actions>/View/Next tab" "<Shift>Right")
; (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" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic tauto" "")
; (gtk_accel_path "<Actions>/Export/Dvi" "")
; (gtk_accel_path "<Actions>/Tactics/Tactic simpl -- in" "")
; (gtk_accel_path "<Actions>/Templates/Template Hint Immediate" "")