Wrote /Users/makarius/isabelle/ProofGeneral-cvs/acl2/acl2.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/ccc/ccc.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-abbrev.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-autotest.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-db.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-indent.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-local-vars.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-mmm.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-syntax.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-unicode-tokens.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/demoisa/demoisa-easy.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/demoisa/demoisa.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/hol98/hol98.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/interface-setup.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isabelle-system.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isar-autotest.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isar-find-theorems.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isar-keywords.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isar-mmm.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isar-syntax.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isar-unicode-tokens.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isar.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lclam/lclam.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lego/lego-syntax.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lego/lego.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/pgshell/pgshell.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-extraction.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-font.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-fun.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-lang.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-outline.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-pbrpm.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-sym-lock.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-tags.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/plastic/plastic-syntax.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/plastic/plastic.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-assoc.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-autotest.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-custom.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-goals.elc

In pg-pbrpm-erase-buffer-menu:
pg-pbrpm.el:80:8:Warning: `save-excursion' defeated by `set-buffer'

In pg-pbrpm-analyse-goal-buffer:
pg-pbrpm.el:124:8:Warning: `save-excursion' defeated by `set-buffer'
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-pbrpm.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-pgip.elc

In pg-response-has-error-location:
pg-response.el:425:27:Warning: `save-excursion' defeated by `set-buffer'
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-response.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-thymodes.elc

In pg-processing-complete-hint:
pg-user.el:935:48:Warning: `save-excursion' defeated by `set-buffer'
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-user.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-vars.elc

In pg-xml-parse-string:
pg-xml.el:46:19:Warning: `save-excursion' defeated by `set-buffer'
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-xml.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-auxmodes.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-config.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-depends.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-easy-config.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-faces.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-indent.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-maths-menu.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-menu.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-mmm.elc

In proof-complete-buffer-atomic:
proof-script.el:724:38:Warning: `save-excursion' defeated by `set-buffer'
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-script.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-shell.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-site.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-splash.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-syntax.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-toolbar.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-unicode-tokens.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-useropts.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-utils.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/bufhist.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/holes.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/local-vars-list.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/maths-menu.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/pg-dev.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/pg-fontsets.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/proof-compat.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/scomint.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/span.elc

In texi-docstring-magic-untabify:
texi-docstring-magic.el:193:39:Warning: `save-excursion' defeated by
    `set-buffer'
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/texi-docstring-magic.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/unicode-chars.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/unicode-tokens.elc

In mmm-check-changed-buffers:
mmm-auto.el:149:12:Warning: `save-excursion' defeated by `set-buffer'
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-auto.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-class.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-cmds.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-compat.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-cweb.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-mason.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-mode.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-region.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-rpm.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-sample.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-univ.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-utils.elc
Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-vars.elc