math/proofgeneral/pkg-plist


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
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551

bin/proofgeneral
bin/legotags
bin/coqtags
bin/isartags
%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/acl2.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/x-symbol-acl2.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/acl2.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/x-symbol-acl2.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/ccc/ccc.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/ccc/ccc.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-abbrev.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-autotest.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-db.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-indent.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-local-vars.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-syntax.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/x-symbol-coq.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-abbrev.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-autotest.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-db.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-indent.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-local-vars.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-syntax.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/x-symbol-coq.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa-easy.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa-easy.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/hol98.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/x-symbol-hol98.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/hol98.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/x-symbol-hol98.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/interface-setup.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa-syntax.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isabelle-system.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/thy-mode.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isa.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isabelle.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/interface-setup.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa-syntax.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isabelle-system.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/thy-mode.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isa.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isabelle.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-autotest.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-keywords.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-mmm.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-syntax.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/x-symbol-isar.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/interface
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isartags
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-autotest.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-keywords.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-mmm.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-syntax.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/x-symbol-isar.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lclam/lclam.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lclam/lclam.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/lego-syntax.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/lego.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/x-symbol-lego.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/lego-syntax.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/lego.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/x-symbol-lego.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/pgshell/pgshell.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/pgshell/pgshell.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-extraction.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-font.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-fun.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-lang.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-outline.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-pbrpm.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-sym-lock.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-tags.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/x-symbol-phox.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-extraction.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-font.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-fun.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-lang.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-outline.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-pbrpm.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-sym-lock.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-tags.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/x-symbol-phox.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/plastic/plastic-syntax.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/plastic/plastic.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/plastic/plastic-syntax.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/plastic/plastic.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf-font.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf-old.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/x-symbol-twelf.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf-font.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf-old.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/x-symbol-twelf.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-assoc.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-autotest.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-goals.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pbrpm.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip-old.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-response.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-thymodes.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-user.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-xhtml.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-xml.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-autoloads.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-config.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-depends.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-easy-config.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-indent.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-menu.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-mmm.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-script.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-shell.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-site.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-splash.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-syntax.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-system.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-toolbar.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-utils.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-x-symbol.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-assoc.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-autotest.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-goals.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pbrpm.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip-old.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-response.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-thymodes.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-user.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-xhtml.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-xml.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-autoloads.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-config.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-depends.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-easy-config.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-indent.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-menu.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-mmm.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-script.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-shell.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-site.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-splash.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-syntax.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-system.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-toolbar.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-utils.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-x-symbol.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/bufhist.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/holes-load.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/holes.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/local-vars-list.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/proof-compat.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span-extent.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span-overlay.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/texi-docstring-magic.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/xml-fixed.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/bufhist.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/holes-load.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/holes.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/proof-compat.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span-extent.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span-overlay.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/texi-docstring-magic.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/xml-fixed.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-auto.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-class.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-cmds.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-compat.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-cweb.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-mason.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-mode.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-noweb.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-region.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-rpm.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-sample.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-univ.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-utils.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-vars.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-auto.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-class.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-cmds.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-compat.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-cweb.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-mason.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-mode.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-noweb.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-region.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-rpm.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-sample.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-univ.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-utils.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-vars.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-abort.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/hiddenproof.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-state.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-next.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-retract.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/ProofGeneral.8bit.gif
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-info.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/ProofGeneral.gif
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-restart.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-command.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goto.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-text.8bit.gif
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-find.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goto.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-info.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goal.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-text.jpg
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-abort.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-command.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-undo.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-text.gif
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-next.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-context.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goal.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-use.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/README
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-use.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-help.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-context.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-find.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-state.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-qed.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/favicon.icon
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-interrupt.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-undo.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/ProofGeneral.jpg
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-retract.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-restart.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-qed.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-interrupt.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-help.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/pkginfo/MANIFEST.x-symbol
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-image.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/custom-load.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-unichars.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-bib.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/auto-autoloads.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/makefile.pkg
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-unicode.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-vars.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-hooks.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-mule.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-unicode-in-progress.patch
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-nomule.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-unicode-extras.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-macs.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-tex.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/_pkg.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/Makefile
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-texi.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-xmacs.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-sgml.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-emacs.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-hooks.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-macs.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-mule.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-vars.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-image.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-sgml.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-tex.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-bib.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-texi.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/ChangeLog
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/bigfonts/fonts.tar
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/bigfonts/README
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/5etl16.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/heriR12.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/heriR14.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/3helvR14.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/3helvR12.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb1_18.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb1_12.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb0_24.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb0_12.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb1_14.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb1_24.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/5etl14.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb0_18.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/nilxs.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/2helvR14.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/2helvR12.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb0_14.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/makesub
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/Makefile
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_12sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR14sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR18sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_12sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl16sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_14.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR12sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl14sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_18.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl16sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/fonts.dir
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_18sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR14sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_12.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_24sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR12.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_24sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/nilxs.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_14sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl16.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_18sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR14sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR12sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR12sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR12sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR12sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR14sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR14.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR24sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl14sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_18sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl14.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR18sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR14sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_12sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR24sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_24sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_14sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR14.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_18sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR14sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_24.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_12.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR14sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_24sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_14sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR12sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_12sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR12.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR12sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR14sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR12sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_24.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR12.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_14sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR14.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_14.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_18.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts/helvR18.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts/helvR24.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts/helvR14.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts/helvR12.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_24sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_24sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_12sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR12sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR24sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR12sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_12sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/2helvR12sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR18sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_12sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/2helvR14sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/5etl14sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/5etl16sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_24sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_18sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR14sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_14sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR14sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/5etl14sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_14sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_24sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_14sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_18sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR14sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR18sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR12sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/3helvR12sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR12sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/2helvR14sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/5etl16sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/3helvR14sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR14sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_18sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_18sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR24sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_14sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/2helvR12sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/3helvR12sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_12sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/3helvR14sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/recycle.xbm
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/colormap138.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/drawing.xbm
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/RIP.xbm
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/hourglass.xbm
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/Makefile.emacs
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/termlock.xbm
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/escherknot.xbm
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man/x-symbol.texi
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man/x-symbol.css
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man/x-symbol.init
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man/Makefile
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/info/x-symbol.info
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/README.x-symbol-for-ProofGeneral
%%EMACS_SITE_LISPDIR%%/site-start.d/pg-init.el
share/application-registry/proofgeneral.applications
share/applications/proofgeneral.desktop
share/mime-info/proofgeneral.keys
share/mime-info/proofgeneral.mime
share/pixmaps/proofgeneral.png
share/icons/hicolor/16x16/proofgeneral.png
share/icons/hicolor/32x32/proofgeneral.png
share/icons/hicolor/48x48/proofgeneral.png
%%PORTDOCS%%%%DOCSDIR%%/AUTHORS
%%PORTDOCS%%%%DOCSDIR%%/BUGS
%%PORTDOCS%%%%DOCSDIR%%/CHANGES
%%PORTDOCS%%%%DOCSDIR%%/COPYING
%%PORTDOCS%%%%DOCSDIR%%/INSTALL
%%PORTDOCS%%%%DOCSDIR%%/README.exper
%%PORTDOCS%%%%DOCSDIR%%/REGISTER
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting.pdf
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral.pdf
%%PORTDOCS%%%%DOCSDIR%%/acl2/example.acl2
%%PORTDOCS%%%%DOCSDIR%%/acl2/root2.acl2
%%PORTDOCS%%%%DOCSDIR%%/hol98/example.sml
%%PORTDOCS%%%%DOCSDIR%%/hol98/root2.sml
%%PORTDOCS%%%%DOCSDIR%%/isa/Example-Xsym.ML
%%PORTDOCS%%%%DOCSDIR%%/isa/Example.ML
%%PORTDOCS%%%%DOCSDIR%%/isa/Example2.ML
%%PORTDOCS%%%%DOCSDIR%%/isa/Example.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/Example-Xsym.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/Example.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/KnasterTarski.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/Root2_Isar.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/Root2_Tactic.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/Tarski.thy
%%PORTDOCS%%%%DOCSDIR%%/lclam/example.lcm
%%PORTDOCS%%%%DOCSDIR%%/lego/example.l
%%PORTDOCS%%%%DOCSDIR%%/lego/example2.l
%%PORTDOCS%%%%DOCSDIR%%/lego/root2.l
%%PORTDOCS%%%%DOCSDIR%%/pgshell/example.pgsh
%%PORTDOCS%%%%DOCSDIR%%/phox/example.phx
%%PORTDOCS%%%%DOCSDIR%%/phox/square-root-2.phx
%%PORTDOCS%%%%DOCSDIR%%/plastic/test.lf
%%PORTDOCS%%%%DOCSDIR%%/twelf/example.elf
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_1.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_10.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_11.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_12.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_13.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_14.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_15.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_16.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_17.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_18.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_19.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_2.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_20.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_21.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_3.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_4.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_5.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_6.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_7.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_8.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_9.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_abt.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_fot.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_toc.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_1.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_10.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_11.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_12.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_13.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_14.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_15.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_16.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_17.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_18.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_19.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_2.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_3.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_4.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_5.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_6.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_7.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_8.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_9.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_abt.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_toc.html
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/acl2
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/ccc
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/coq
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/hol98
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/isa
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/isar
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/lclam
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/lego
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/pgshell
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/phox
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/plastic
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/twelf
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/generic
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/lib
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/mmm
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/images
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/pkginfo
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/bigfonts
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/info
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral
@dirrmtry %%EMACS_SITE_LISPDIR%%/site-start.d
%%PORTDOCS%%@dirrm %%DOCSDIR%%/acl2
%%PORTDOCS%%@dirrm %%DOCSDIR%%/hol98
%%PORTDOCS%%@dirrm %%DOCSDIR%%/isa
%%PORTDOCS%%@dirrm %%DOCSDIR%%/isar
%%PORTDOCS%%@dirrm %%DOCSDIR%%/lclam
%%PORTDOCS%%@dirrm %%DOCSDIR%%/lego
%%PORTDOCS%%@dirrm %%DOCSDIR%%/pgshell
%%PORTDOCS%%@dirrm %%DOCSDIR%%/phox
%%PORTDOCS%%@dirrm %%DOCSDIR%%/plastic
%%PORTDOCS%%@dirrm %%DOCSDIR%%/twelf
%%PORTDOCS%%@dirrm %%DOCSDIR%%/ProofGeneral
%%PORTDOCS%%@dirrm %%DOCSDIR%%/PG-adapting
%%PORTDOCS%%@dirrm %%DOCSDIR%%
@dirrmtry share/applications