1 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/acl2/acl2.elc |
---|
2 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/ccc/ccc.elc |
---|
3 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-abbrev.elc |
---|
4 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-autotest.elc |
---|
5 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-db.elc |
---|
6 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-indent.elc |
---|
7 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-local-vars.elc |
---|
8 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-mmm.elc |
---|
9 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-syntax.elc |
---|
10 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-unicode-tokens.elc |
---|
11 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq.elc |
---|
12 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/demoisa/demoisa-easy.elc |
---|
13 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/demoisa/demoisa.elc |
---|
14 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/hol98/hol98.elc |
---|
15 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/interface-setup.elc |
---|
16 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isabelle-system.elc |
---|
17 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isar-autotest.elc |
---|
18 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isar-find-theorems.elc |
---|
19 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isar-keywords.elc |
---|
20 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isar-mmm.elc |
---|
21 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isar-syntax.elc |
---|
22 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isar-unicode-tokens.elc |
---|
23 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isar.elc |
---|
24 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lclam/lclam.elc |
---|
25 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lego/lego-syntax.elc |
---|
26 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lego/lego.elc |
---|
27 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/pgshell/pgshell.elc |
---|
28 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-extraction.elc |
---|
29 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-font.elc |
---|
30 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-fun.elc |
---|
31 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-lang.elc |
---|
32 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-outline.elc |
---|
33 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-pbrpm.elc |
---|
34 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-sym-lock.elc |
---|
35 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-tags.elc |
---|
36 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox.elc |
---|
37 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/plastic/plastic-syntax.elc |
---|
38 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/plastic/plastic.elc |
---|
39 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-assoc.elc |
---|
40 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-autotest.elc |
---|
41 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-custom.elc |
---|
42 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-goals.elc |
---|
43 | |
---|
44 | In pg-pbrpm-erase-buffer-menu: |
---|
45 | pg-pbrpm.el:80:8:Warning: `save-excursion' defeated by `set-buffer' |
---|
46 | |
---|
47 | In pg-pbrpm-analyse-goal-buffer: |
---|
48 | pg-pbrpm.el:124:8:Warning: `save-excursion' defeated by `set-buffer' |
---|
49 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-pbrpm.elc |
---|
50 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-pgip.elc |
---|
51 | |
---|
52 | In pg-response-has-error-location: |
---|
53 | pg-response.el:425:27:Warning: `save-excursion' defeated by `set-buffer' |
---|
54 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-response.elc |
---|
55 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-thymodes.elc |
---|
56 | |
---|
57 | In pg-processing-complete-hint: |
---|
58 | pg-user.el:935:48:Warning: `save-excursion' defeated by `set-buffer' |
---|
59 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-user.elc |
---|
60 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-vars.elc |
---|
61 | |
---|
62 | In pg-xml-parse-string: |
---|
63 | pg-xml.el:46:19:Warning: `save-excursion' defeated by `set-buffer' |
---|
64 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-xml.elc |
---|
65 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-auxmodes.elc |
---|
66 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-config.elc |
---|
67 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-depends.elc |
---|
68 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-easy-config.elc |
---|
69 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-faces.elc |
---|
70 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-indent.elc |
---|
71 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-maths-menu.elc |
---|
72 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-menu.elc |
---|
73 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-mmm.elc |
---|
74 | |
---|
75 | In proof-complete-buffer-atomic: |
---|
76 | proof-script.el:724:38:Warning: `save-excursion' defeated by `set-buffer' |
---|
77 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-script.elc |
---|
78 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-shell.elc |
---|
79 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-site.elc |
---|
80 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-splash.elc |
---|
81 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-syntax.elc |
---|
82 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-toolbar.elc |
---|
83 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-unicode-tokens.elc |
---|
84 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-useropts.elc |
---|
85 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-utils.elc |
---|
86 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof.elc |
---|
87 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/bufhist.elc |
---|
88 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/holes.elc |
---|
89 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/local-vars-list.elc |
---|
90 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/maths-menu.elc |
---|
91 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/pg-dev.elc |
---|
92 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/pg-fontsets.elc |
---|
93 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/proof-compat.elc |
---|
94 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/scomint.elc |
---|
95 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/span.elc |
---|
96 | |
---|
97 | In texi-docstring-magic-untabify: |
---|
98 | texi-docstring-magic.el:193:39:Warning: `save-excursion' defeated by |
---|
99 | `set-buffer' |
---|
100 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/texi-docstring-magic.elc |
---|
101 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/unicode-chars.elc |
---|
102 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/unicode-tokens.elc |
---|
103 | |
---|
104 | In mmm-check-changed-buffers: |
---|
105 | mmm-auto.el:149:12:Warning: `save-excursion' defeated by `set-buffer' |
---|
106 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-auto.elc |
---|
107 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-class.elc |
---|
108 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-cmds.elc |
---|
109 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-compat.elc |
---|
110 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-cweb.elc |
---|
111 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-mason.elc |
---|
112 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-mode.elc |
---|
113 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-region.elc |
---|
114 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-rpm.elc |
---|
115 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-sample.elc |
---|
116 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-univ.elc |
---|
117 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-utils.elc |
---|
118 | Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-vars.elc |
---|