[isabelle] EMACS=emacs /make compile



	

Hello, again!


When I placed , as the FAQ suggested make compile EMACS=emacs then all seemed to being to remake without .elc files. At the end of the make process I got this same error: SEE BELOW

24-182-155-183:~/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930 clintonlefort$ make clean
make pgscripts DEST_ELISP='$$HOME/ProofGeneral'
rm -f acl2/acl2.elc acl2/x-symbol-acl2.elc coq/coq-abbrev.elc coq/coq- autotest.elc coq/coq-indent.elc coq/coq-syntax.elc coq/coq.elc coq/x- symbol-coq.elc demoisa/demoisa-easy.elc demoisa/demoisa.elc generic/ pg-assoc.elc generic/pg-autotest.elc generic/pg-goals.elc generic/pg- pbrpm.elc generic/pg-pgip-old.elc generic/pg-pgip.elc generic/pg- resolve.elc generic/pg-response.elc generic/pg-thymodes.elc generic/ pg-user.elc generic/pg-xhtml.elc generic/pg-xml.elc generic/proof- autoloads.elc generic/proof-config.elc generic/proof-depends.elc generic/proof-easy-config.elc generic/proof-indent.elc generic/proof- menu.elc generic/proof-mmm.elc generic/proof-script.elc generic/proof- shell.elc generic/proof-site.elc generic/proof-splash.elc generic/ proof-syntax.elc generic/proof-system.elc generic/proof-toolbar.elc generic/proof-utils.elc generic/proof-x-symbol.elc generic/proof.elc hol98/hol98.elc hol98/x-symbol-hol98.elc isa/interface-setup.elc isa/ isa-syntax.elc isa/isa.elc isa/isabelle-system.elc isa/thy-mode.elc isa/x-symbol-isa.elc isa/x-symbol-isabelle.elc isar/isar-autotest.elc isar/isar-keywords.elc isar/isar-mmm.elc isar/isar-syntax.elc isar/ isar.elc isar/x-symbol-isar.elc lclam/lclam.elc lego/lego-syntax.elc lego/lego.elc lego/x-symbol-lego.elc lib/holes-load.elc lib/holes.elc lib/proof-compat.elc lib/span-extent.elc lib/span-overlay.elc lib/ span.elc lib/texi-docstring-magic.elc lib/xml-fixed.elc mmm/mmm- auto.elc mmm/mmm-class.elc mmm/mmm-cmds.elc mmm/mmm-compat.elc mmm/ mmm-mason.elc mmm/mmm-mode.elc mmm/mmm-region.elc mmm/mmm-rpm.elc mmm/ mmm-sample.elc mmm/mmm-univ.elc mmm/mmm-utils.elc mmm/mmm-vars.elc phox/phox-extraction.elc phox/phox-font.elc phox/phox-fun.elc phox/ phox-lang.elc phox/phox-outline.elc phox/phox-pbrpm.elc phox/phox- tags.elc phox/phox.elc phox/x-symbol-phox.elc plastic/plastic- syntax.elc plastic/plastic.elc twelf/twelf-font.elc twelf/twelf- old.elc twelf/twelf.elc twelf/x-symbol-twelf.elc x-symbol/lisp/ _pkg.elc x-symbol/lisp/auto-autoloads.elc x-symbol/lisp/custom- load.elc x-symbol/lisp/x-symbol-bib.elc x-symbol/lisp/x-symbol- emacs.elc x-symbol/lisp/x-symbol-hooks.elc x-symbol/lisp/x-symbol- image.elc x-symbol/lisp/x-symbol-macs.elc x-symbol/lisp/x-symbol- mule.elc x-symbol/lisp/x-symbol-nomule.elc x-symbol/lisp/x-symbol- sgml.elc x-symbol/lisp/x-symbol-tex.elc x-symbol/lisp/x-symbol- texi.elc x-symbol/lisp/x-symbol-vars.elc x-symbol/lisp/x-symbol- xmacs.elc x-symbol/lisp/x-symbol.elc *~ */*~ .\#* */.\#* .byte-compile
(cd doc; make clean)
make -f Makefile.doc DOCNAME=PG-adapting MAKE="make -f Makefile.doc" clean
rm -f ProofGeneral.txt ProofGeneralPortrait.eps ProofGeneralPortrait.pdf
rm -f PG-adapting.{cp,fn,vr,tp,ky,pg}
rm -f PG-adapting.{fns,vrs,cps,aux,log,toc,kys,cp0}
rm -f *~
make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" clean
rm -f ProofGeneral.txt ProofGeneralPortrait.eps ProofGeneralPortrait.pdf
rm -f ProofGeneral.{cp,fn,vr,tp,ky,pg}
rm -f ProofGeneral.{fns,vrs,cps,aux,log,toc,kys,cp0}
rm -f *~
(cd x-symbol/lisp; make distclean)
rm -f *~ core .\#* *.cps *.fns *.kys *.vr *.tp *.pg *.log *.aux *.toc *.cp *.ky *.fn
rm -f *.elc *.dvi *.info* *.ps
24-182-155-183:~/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930 clintonlefort$ make compile
*************************************************
Byte compiling...
*************************************************
rm -f acl2/acl2.elc acl2/x-symbol-acl2.elc coq/coq-abbrev.elc coq/coq- autotest.elc coq/coq-indent.elc coq/coq-syntax.elc coq/coq.elc coq/x- symbol-coq.elc demoisa/demoisa-easy.elc demoisa/demoisa.elc generic/ pg-assoc.elc generic/pg-autotest.elc generic/pg-goals.elc generic/pg- pbrpm.elc generic/pg-pgip-old.elc generic/pg-pgip.elc generic/pg- resolve.elc generic/pg-response.elc generic/pg-thymodes.elc generic/ pg-user.elc generic/pg-xhtml.elc generic/pg-xml.elc generic/proof- autoloads.elc generic/proof-config.elc generic/proof-depends.elc generic/proof-easy-config.elc generic/proof-indent.elc generic/proof- menu.elc generic/proof-mmm.elc generic/proof-script.elc generic/proof- shell.elc generic/proof-site.elc generic/proof-splash.elc generic/ proof-syntax.elc generic/proof-system.elc generic/proof-toolbar.elc generic/proof-utils.elc generic/proof-x-symbol.elc generic/proof.elc hol98/hol98.elc hol98/x-symbol-hol98.elc isa/interface-setup.elc isa/ isa-syntax.elc isa/isa.elc isa/isabelle-system.elc isa/thy-mode.elc isa/x-symbol-isa.elc isa/x-symbol-isabelle.elc isar/isar-autotest.elc isar/isar-keywords.elc isar/isar-mmm.elc isar/isar-syntax.elc isar/ isar.elc isar/x-symbol-isar.elc lclam/lclam.elc lego/lego-syntax.elc lego/lego.elc lego/x-symbol-lego.elc lib/holes-load.elc lib/holes.elc lib/proof-compat.elc lib/span-extent.elc lib/span-overlay.elc lib/ span.elc lib/texi-docstring-magic.elc lib/xml-fixed.elc mmm/mmm- auto.elc mmm/mmm-class.elc mmm/mmm-cmds.elc mmm/mmm-compat.elc mmm/ mmm-mason.elc mmm/mmm-mode.elc mmm/mmm-region.elc mmm/mmm-rpm.elc mmm/ mmm-sample.elc mmm/mmm-univ.elc mmm/mmm-utils.elc mmm/mmm-vars.elc phox/phox-extraction.elc phox/phox-font.elc phox/phox-fun.elc phox/ phox-lang.elc phox/phox-outline.elc phox/phox-pbrpm.elc phox/phox- tags.elc phox/phox.elc phox/x-symbol-phox.elc plastic/plastic- syntax.elc plastic/plastic.elc twelf/twelf-font.elc twelf/twelf- old.elc twelf/twelf.elc twelf/x-symbol-twelf.elc x-symbol/lisp/ _pkg.elc x-symbol/lisp/auto-autoloads.elc x-symbol/lisp/custom- load.elc x-symbol/lisp/x-symbol-bib.elc x-symbol/lisp/x-symbol- emacs.elc x-symbol/lisp/x-symbol-hooks.elc x-symbol/lisp/x-symbol- image.elc x-symbol/lisp/x-symbol-macs.elc x-symbol/lisp/x-symbol- mule.elc x-symbol/lisp/x-symbol-nomule.elc x-symbol/lisp/x-symbol- sgml.elc x-symbol/lisp/x-symbol-tex.elc x-symbol/lisp/x-symbol- texi.elc x-symbol/lisp/x-symbol-vars.elc x-symbol/lisp/x-symbol- xmacs.elc x-symbol/lisp/x-symbol.elc xemacs -batch -q -no-site-file -eval '(setq load-path (append (mapcar (lambda (d) (concat "/Users/clintonlefort/Isabelle/Isabelle/ ISABELLE_HOME/ProofGeneral-3.6pre050930/" (symbol-name d))) (quote (acl2 coq demoisa generic hol98 isa isar lclam lego lib mmm phox plastic twelf x-symbol/lisp))) load-path))' -f batch-byte-compile acl2/acl2.el acl2/x-symbol-acl2.el coq/coq-abbrev.el coq/coq- autotest.el coq/coq-indent.el coq/coq-syntax.el coq/coq.el coq/x- symbol-coq.el demoisa/demoisa-easy.el demoisa/demoisa.el generic/pg- assoc.el generic/pg-autotest.el generic/pg-goals.el generic/pg- pbrpm.el generic/pg-pgip-old.el generic/pg-pgip.el generic/pg- resolve.el generic/pg-response.el generic/pg-thymodes.el generic/pg- user.el generic/pg-xhtml.el generic/pg-xml.el generic/proof- autoloads.el generic/proof-config.el generic/proof-depends.el generic/ proof-easy-config.el generic/proof-indent.el generic/proof-menu.el generic/proof-mmm.el generic/proof-script.el generic/proof-shell.el generic/proof-site.el generic/proof-splash.el generic/proof-syntax.el generic/proof-system.el generic/proof-toolbar.el generic/proof- utils.el generic/proof-x-symbol.el generic/proof.el hol98/hol98.el hol98/x-symbol-hol98.el isa/interface-setup.el isa/isa-syntax.el isa/ isa.el isa/isabelle-system.el isa/thy-mode.el isa/x-symbol-isa.el isa/ x-symbol-isabelle.el isar/isar-autotest.el isar/isar-keywords.el isar/ isar-mmm.el isar/isar-syntax.el isar/isar.el isar/x-symbol-isar.el lclam/lclam.el lego/lego-syntax.el lego/lego.el lego/x-symbol-lego.el lib/holes-load.el lib/holes.el lib/proof-compat.el lib/span-extent.el lib/span-overlay.el lib/span.el lib/texi-docstring-magic.el lib/xml- fixed.el mmm/mmm-auto.el mmm/mmm-class.el mmm/mmm-cmds.el mmm/mmm- compat.el mmm/mmm-mason.el mmm/mmm-mode.el mmm/mmm-region.el mmm/mmm- rpm.el mmm/mmm-sample.el mmm/mmm-univ.el mmm/mmm-utils.el mmm/mmm- vars.el phox/phox-extraction.el phox/phox-font.el phox/phox-fun.el phox/phox-lang.el phox/phox-outline.el phox/phox-pbrpm.el phox/phox- tags.el phox/phox.el phox/x-symbol-phox.el plastic/plastic-syntax.el plastic/plastic.el twelf/twelf-font.el twelf/twelf-old.el twelf/ twelf.el twelf/x-symbol-twelf.el x-symbol/lisp/_pkg.el x-symbol/lisp/ auto-autoloads.el x-symbol/lisp/custom-load.el x-symbol/lisp/x-symbol- bib.el x-symbol/lisp/x-symbol-emacs.el x-symbol/lisp/x-symbol- hooks.el x-symbol/lisp/x-symbol-image.el x-symbol/lisp/x-symbol- macs.el x-symbol/lisp/x-symbol-mule.el x-symbol/lisp/x-symbol- nomule.el x-symbol/lisp/x-symbol-sgml.el x-symbol/lisp/x-symbol- tex.el x-symbol/lisp/x-symbol-texi.el x-symbol/lisp/x-symbol-vars.el x-symbol/lisp/x-symbol-xmacs.el x-symbol/lisp/x-symbol.el
make: xemacs: Command not found
make: [.byte-compile] Error 127 (ignored)
rm -f
Byte compiling X-Symbol...
(cd x-symbol/lisp; rm -f *.elc; make EMACS="xemacs -q -no-site-file")
xemacs -q -no-site-file -batch --eval '(setq load-path (append (list "." "/usr/local/share/emacs/site-lisp/elib" "/usr/local/share/emacs/ site-lisp") load-path))' -f batch-byte-compile x-symbol-hooks.el
make[1]: xemacs: Command not found
make[1]: *** [x-symbol-hooks.elc] Error 127
make: *** [.byte-compile] Error 2
24-182-155-183:~/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930 clintonlefort$ make clean
make pgscripts DEST_ELISP='$$HOME/ProofGeneral'
rm -f acl2/acl2.elc acl2/x-symbol-acl2.elc coq/coq-abbrev.elc coq/coq- autotest.elc coq/coq-indent.elc coq/coq-syntax.elc coq/coq.elc coq/x- symbol-coq.elc demoisa/demoisa-easy.elc demoisa/demoisa.elc generic/ pg-assoc.elc generic/pg-autotest.elc generic/pg-goals.elc generic/pg- pbrpm.elc generic/pg-pgip-old.elc generic/pg-pgip.elc generic/pg- resolve.elc generic/pg-response.elc generic/pg-thymodes.elc generic/ pg-user.elc generic/pg-xhtml.elc generic/pg-xml.elc generic/proof- autoloads.elc generic/proof-config.elc generic/proof-depends.elc generic/proof-easy-config.elc generic/proof-indent.elc generic/proof- menu.elc generic/proof-mmm.elc generic/proof-script.elc generic/proof- shell.elc generic/proof-site.elc generic/proof-splash.elc generic/ proof-syntax.elc generic/proof-system.elc generic/proof-toolbar.elc generic/proof-utils.elc generic/proof-x-symbol.elc generic/proof.elc hol98/hol98.elc hol98/x-symbol-hol98.elc isa/interface-setup.elc isa/ isa-syntax.elc isa/isa.elc isa/isabelle-system.elc isa/thy-mode.elc isa/x-symbol-isa.elc isa/x-symbol-isabelle.elc isar/isar-autotest.elc isar/isar-keywords.elc isar/isar-mmm.elc isar/isar-syntax.elc isar/ isar.elc isar/x-symbol-isar.elc lclam/lclam.elc lego/lego-syntax.elc lego/lego.elc lego/x-symbol-lego.elc lib/holes-load.elc lib/holes.elc lib/proof-compat.elc lib/span-extent.elc lib/span-overlay.elc lib/ span.elc lib/texi-docstring-magic.elc lib/xml-fixed.elc mmm/mmm- auto.elc mmm/mmm-class.elc mmm/mmm-cmds.elc mmm/mmm-compat.elc mmm/ mmm-mason.elc mmm/mmm-mode.elc mmm/mmm-region.elc mmm/mmm-rpm.elc mmm/ mmm-sample.elc mmm/mmm-univ.elc mmm/mmm-utils.elc mmm/mmm-vars.elc phox/phox-extraction.elc phox/phox-font.elc phox/phox-fun.elc phox/ phox-lang.elc phox/phox-outline.elc phox/phox-pbrpm.elc phox/phox- tags.elc phox/phox.elc phox/x-symbol-phox.elc plastic/plastic- syntax.elc plastic/plastic.elc twelf/twelf-font.elc twelf/twelf- old.elc twelf/twelf.elc twelf/x-symbol-twelf.elc x-symbol/lisp/ _pkg.elc x-symbol/lisp/auto-autoloads.elc x-symbol/lisp/custom- load.elc x-symbol/lisp/x-symbol-bib.elc x-symbol/lisp/x-symbol- emacs.elc x-symbol/lisp/x-symbol-hooks.elc x-symbol/lisp/x-symbol- image.elc x-symbol/lisp/x-symbol-macs.elc x-symbol/lisp/x-symbol- mule.elc x-symbol/lisp/x-symbol-nomule.elc x-symbol/lisp/x-symbol- sgml.elc x-symbol/lisp/x-symbol-tex.elc x-symbol/lisp/x-symbol- texi.elc x-symbol/lisp/x-symbol-vars.elc x-symbol/lisp/x-symbol- xmacs.elc x-symbol/lisp/x-symbol.elc *~ */*~ .\#* */.\#* .byte-compile
(cd doc; make clean)
make -f Makefile.doc DOCNAME=PG-adapting MAKE="make -f Makefile.doc" clean
rm -f ProofGeneral.txt ProofGeneralPortrait.eps ProofGeneralPortrait.pdf
rm -f PG-adapting.{cp,fn,vr,tp,ky,pg}
rm -f PG-adapting.{fns,vrs,cps,aux,log,toc,kys,cp0}
rm -f *~
make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" clean
rm -f ProofGeneral.txt ProofGeneralPortrait.eps ProofGeneralPortrait.pdf
rm -f ProofGeneral.{cp,fn,vr,tp,ky,pg}
rm -f ProofGeneral.{fns,vrs,cps,aux,log,toc,kys,cp0}
rm -f *~
(cd x-symbol/lisp; make distclean)
rm -f *~ core .\#* *.cps *.fns *.kys *.vr *.tp *.pg *.log *.aux *.toc *.cp *.ky *.fn
rm -f *.elc *.dvi *.info* *.ps
24-182-155-183:~/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930 clintonlefort$ make compile
*************************************************
Byte compiling...
*************************************************
rm -f acl2/acl2.elc acl2/x-symbol-acl2.elc coq/coq-abbrev.elc coq/coq- autotest.elc coq/coq-indent.elc coq/coq-syntax.elc coq/coq.elc coq/x- symbol-coq.elc demoisa/demoisa-easy.elc demoisa/demoisa.elc generic/ pg-assoc.elc generic/pg-autotest.elc generic/pg-goals.elc generic/pg- pbrpm.elc generic/pg-pgip-old.elc generic/pg-pgip.elc generic/pg- resolve.elc generic/pg-response.elc generic/pg-thymodes.elc generic/ pg-user.elc generic/pg-xhtml.elc generic/pg-xml.elc generic/proof- autoloads.elc generic/proof-config.elc generic/proof-depends.elc generic/proof-easy-config.elc generic/proof-indent.elc generic/proof- menu.elc generic/proof-mmm.elc generic/proof-script.elc generic/proof- shell.elc generic/proof-site.elc generic/proof-splash.elc generic/ proof-syntax.elc generic/proof-system.elc generic/proof-toolbar.elc generic/proof-utils.elc generic/proof-x-symbol.elc generic/proof.elc hol98/hol98.elc hol98/x-symbol-hol98.elc isa/interface-setup.elc isa/ isa-syntax.elc isa/isa.elc isa/isabelle-system.elc isa/thy-mode.elc isa/x-symbol-isa.elc isa/x-symbol-isabelle.elc isar/isar-autotest.elc isar/isar-keywords.elc isar/isar-mmm.elc isar/isar-syntax.elc isar/ isar.elc isar/x-symbol-isar.elc lclam/lclam.elc lego/lego-syntax.elc lego/lego.elc lego/x-symbol-lego.elc lib/holes-load.elc lib/holes.elc lib/proof-compat.elc lib/span-extent.elc lib/span-overlay.elc lib/ span.elc lib/texi-docstring-magic.elc lib/xml-fixed.elc mmm/mmm- auto.elc mmm/mmm-class.elc mmm/mmm-cmds.elc mmm/mmm-compat.elc mmm/ mmm-mason.elc mmm/mmm-mode.elc mmm/mmm-region.elc mmm/mmm-rpm.elc mmm/ mmm-sample.elc mmm/mmm-univ.elc mmm/mmm-utils.elc mmm/mmm-vars.elc phox/phox-extraction.elc phox/phox-font.elc phox/phox-fun.elc phox/ phox-lang.elc phox/phox-outline.elc phox/phox-pbrpm.elc phox/phox- tags.elc phox/phox.elc phox/x-symbol-phox.elc plastic/plastic- syntax.elc plastic/plastic.elc twelf/twelf-font.elc twelf/twelf- old.elc twelf/twelf.elc twelf/x-symbol-twelf.elc x-symbol/lisp/ _pkg.elc x-symbol/lisp/auto-autoloads.elc x-symbol/lisp/custom- load.elc x-symbol/lisp/x-symbol-bib.elc x-symbol/lisp/x-symbol- emacs.elc x-symbol/lisp/x-symbol-hooks.elc x-symbol/lisp/x-symbol- image.elc x-symbol/lisp/x-symbol-macs.elc x-symbol/lisp/x-symbol- mule.elc x-symbol/lisp/x-symbol-nomule.elc x-symbol/lisp/x-symbol- sgml.elc x-symbol/lisp/x-symbol-tex.elc x-symbol/lisp/x-symbol- texi.elc x-symbol/lisp/x-symbol-vars.elc x-symbol/lisp/x-symbol- xmacs.elc x-symbol/lisp/x-symbol.elc xemacs -batch -q -no-site-file -eval '(setq load-path (append (mapcar (lambda (d) (concat "/Users/clintonlefort/Isabelle/Isabelle/ ISABELLE_HOME/ProofGeneral-3.6pre050930/" (symbol-name d))) (quote (acl2 coq demoisa generic hol98 isa isar lclam lego lib mmm phox plastic twelf x-symbol/lisp))) load-path))' -f batch-byte-compile acl2/acl2.el acl2/x-symbol-acl2.el coq/coq-abbrev.el coq/coq- autotest.el coq/coq-indent.el coq/coq-syntax.el coq/coq.el coq/x- symbol-coq.el demoisa/demoisa-easy.el demoisa/demoisa.el generic/pg- assoc.el generic/pg-autotest.el generic/pg-goals.el generic/pg- pbrpm.el generic/pg-pgip-old.el generic/pg-pgip.el generic/pg- resolve.el generic/pg-response.el generic/pg-thymodes.el generic/pg- user.el generic/pg-xhtml.el generic/pg-xml.el generic/proof- autoloads.el generic/proof-config.el generic/proof-depends.el generic/ proof-easy-config.el generic/proof-indent.el generic/proof-menu.el generic/proof-mmm.el generic/proof-script.el generic/proof-shell.el generic/proof-site.el generic/proof-splash.el generic/proof-syntax.el generic/proof-system.el generic/proof-toolbar.el generic/proof- utils.el generic/proof-x-symbol.el generic/proof.el hol98/hol98.el hol98/x-symbol-hol98.el isa/interface-setup.el isa/isa-syntax.el isa/ isa.el isa/isabelle-system.el isa/thy-mode.el isa/x-symbol-isa.el isa/ x-symbol-isabelle.el isar/isar-autotest.el isar/isar-keywords.el isar/ isar-mmm.el isar/isar-syntax.el isar/isar.el isar/x-symbol-isar.el lclam/lclam.el lego/lego-syntax.el lego/lego.el lego/x-symbol-lego.el lib/holes-load.el lib/holes.el lib/proof-compat.el lib/span-extent.el lib/span-overlay.el lib/span.el lib/texi-docstring-magic.el lib/xml- fixed.el mmm/mmm-auto.el mmm/mmm-class.el mmm/mmm-cmds.el mmm/mmm- compat.el mmm/mmm-mason.el mmm/mmm-mode.el mmm/mmm-region.el mmm/mmm- rpm.el mmm/mmm-sample.el mmm/mmm-univ.el mmm/mmm-utils.el mmm/mmm- vars.el phox/phox-extraction.el phox/phox-font.el phox/phox-fun.el phox/phox-lang.el phox/phox-outline.el phox/phox-pbrpm.el phox/phox- tags.el phox/phox.el phox/x-symbol-phox.el plastic/plastic-syntax.el plastic/plastic.el twelf/twelf-font.el twelf/twelf-old.el twelf/ twelf.el twelf/x-symbol-twelf.el x-symbol/lisp/_pkg.el x-symbol/lisp/ auto-autoloads.el x-symbol/lisp/custom-load.el x-symbol/lisp/x-symbol- bib.el x-symbol/lisp/x-symbol-emacs.el x-symbol/lisp/x-symbol- hooks.el x-symbol/lisp/x-symbol-image.el x-symbol/lisp/x-symbol- macs.el x-symbol/lisp/x-symbol-mule.el x-symbol/lisp/x-symbol- nomule.el x-symbol/lisp/x-symbol-sgml.el x-symbol/lisp/x-symbol- tex.el x-symbol/lisp/x-symbol-texi.el x-symbol/lisp/x-symbol-vars.el x-symbol/lisp/x-symbol-xmacs.el x-symbol/lisp/x-symbol.el
make: xemacs: Command not found
make: [.byte-compile] Error 127 (ignored)
rm -f
Byte compiling X-Symbol...
(cd x-symbol/lisp; rm -f *.elc; make EMACS="xemacs -q -no-site-file")
xemacs -q -no-site-file -batch --eval '(setq load-path (append (list "." "/usr/local/share/emacs/site-lisp/elib" "/usr/local/share/emacs/ site-lisp") load-path))' -f batch-byte-compile x-symbol-hooks.el
make[1]: xemacs: Command not found
make[1]: *** [x-symbol-hooks.elc] Error 127
make: *** [.byte-compile] Error 2
24-182-155-183:~/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930 clintonlefort$ make compile EMACS=emacs
*************************************************
Byte compiling...
*************************************************
rm -f acl2/acl2.elc acl2/x-symbol-acl2.elc coq/coq-abbrev.elc coq/coq- autotest.elc coq/coq-indent.elc coq/coq-syntax.elc coq/coq.elc coq/x- symbol-coq.elc demoisa/demoisa-easy.elc demoisa/demoisa.elc generic/ pg-assoc.elc generic/pg-autotest.elc generic/pg-goals.elc generic/pg- pbrpm.elc generic/pg-pgip-old.elc generic/pg-pgip.elc generic/pg- resolve.elc generic/pg-response.elc generic/pg-thymodes.elc generic/ pg-user.elc generic/pg-xhtml.elc generic/pg-xml.elc generic/proof- autoloads.elc generic/proof-config.elc generic/proof-depends.elc generic/proof-easy-config.elc generic/proof-indent.elc generic/proof- menu.elc generic/proof-mmm.elc generic/proof-script.elc generic/proof- shell.elc generic/proof-site.elc generic/proof-splash.elc generic/ proof-syntax.elc generic/proof-system.elc generic/proof-toolbar.elc generic/proof-utils.elc generic/proof-x-symbol.elc generic/proof.elc hol98/hol98.elc hol98/x-symbol-hol98.elc isa/interface-setup.elc isa/ isa-syntax.elc isa/isa.elc isa/isabelle-system.elc isa/thy-mode.elc isa/x-symbol-isa.elc isa/x-symbol-isabelle.elc isar/isar-autotest.elc isar/isar-keywords.elc isar/isar-mmm.elc isar/isar-syntax.elc isar/ isar.elc isar/x-symbol-isar.elc lclam/lclam.elc lego/lego-syntax.elc lego/lego.elc lego/x-symbol-lego.elc lib/holes-load.elc lib/holes.elc lib/proof-compat.elc lib/span-extent.elc lib/span-overlay.elc lib/ span.elc lib/texi-docstring-magic.elc lib/xml-fixed.elc mmm/mmm- auto.elc mmm/mmm-class.elc mmm/mmm-cmds.elc mmm/mmm-compat.elc mmm/ mmm-mason.elc mmm/mmm-mode.elc mmm/mmm-region.elc mmm/mmm-rpm.elc mmm/ mmm-sample.elc mmm/mmm-univ.elc mmm/mmm-utils.elc mmm/mmm-vars.elc phox/phox-extraction.elc phox/phox-font.elc phox/phox-fun.elc phox/ phox-lang.elc phox/phox-outline.elc phox/phox-pbrpm.elc phox/phox- tags.elc phox/phox.elc phox/x-symbol-phox.elc plastic/plastic- syntax.elc plastic/plastic.elc twelf/twelf-font.elc twelf/twelf- old.elc twelf/twelf.elc twelf/x-symbol-twelf.elc x-symbol/lisp/ _pkg.elc x-symbol/lisp/auto-autoloads.elc x-symbol/lisp/custom- load.elc x-symbol/lisp/x-symbol-bib.elc x-symbol/lisp/x-symbol- emacs.elc x-symbol/lisp/x-symbol-hooks.elc x-symbol/lisp/x-symbol- image.elc x-symbol/lisp/x-symbol-macs.elc x-symbol/lisp/x-symbol- mule.elc x-symbol/lisp/x-symbol-nomule.elc x-symbol/lisp/x-symbol- sgml.elc x-symbol/lisp/x-symbol-tex.elc x-symbol/lisp/x-symbol- texi.elc x-symbol/lisp/x-symbol-vars.elc x-symbol/lisp/x-symbol- xmacs.elc x-symbol/lisp/x-symbol.elc emacs -batch -q -no-site-file -eval '(setq load-path (append (mapcar (lambda (d) (concat "/Users/clintonlefort/Isabelle/Isabelle/ ISABELLE_HOME/ProofGeneral-3.6pre050930/" (symbol-name d))) (quote (acl2 coq demoisa generic hol98 isa isar lclam lego lib mmm phox plastic twelf x-symbol/lisp))) load-path))' -f batch-byte-compile acl2/acl2.el acl2/x-symbol-acl2.el coq/coq-abbrev.el coq/coq- autotest.el coq/coq-indent.el coq/coq-syntax.el coq/coq.el coq/x- symbol-coq.el demoisa/demoisa-easy.el demoisa/demoisa.el generic/pg- assoc.el generic/pg-autotest.el generic/pg-goals.el generic/pg- pbrpm.el generic/pg-pgip-old.el generic/pg-pgip.el generic/pg- resolve.el generic/pg-response.el generic/pg-thymodes.el generic/pg- user.el generic/pg-xhtml.el generic/pg-xml.el generic/proof- autoloads.el generic/proof-config.el generic/proof-depends.el generic/ proof-easy-config.el generic/proof-indent.el generic/proof-menu.el generic/proof-mmm.el generic/proof-script.el generic/proof-shell.el generic/proof-site.el generic/proof-splash.el generic/proof-syntax.el generic/proof-system.el generic/proof-toolbar.el generic/proof- utils.el generic/proof-x-symbol.el generic/proof.el hol98/hol98.el hol98/x-symbol-hol98.el isa/interface-setup.el isa/isa-syntax.el isa/ isa.el isa/isabelle-system.el isa/thy-mode.el isa/x-symbol-isa.el isa/ x-symbol-isabelle.el isar/isar-autotest.el isar/isar-keywords.el isar/ isar-mmm.el isar/isar-syntax.el isar/isar.el isar/x-symbol-isar.el lclam/lclam.el lego/lego-syntax.el lego/lego.el lego/x-symbol-lego.el lib/holes-load.el lib/holes.el lib/proof-compat.el lib/span-extent.el lib/span-overlay.el lib/span.el lib/texi-docstring-magic.el lib/xml- fixed.el mmm/mmm-auto.el mmm/mmm-class.el mmm/mmm-cmds.el mmm/mmm- compat.el mmm/mmm-mason.el mmm/mmm-mode.el mmm/mmm-region.el mmm/mmm- rpm.el mmm/mmm-sample.el mmm/mmm-univ.el mmm/mmm-utils.el mmm/mmm- vars.el phox/phox-extraction.el phox/phox-font.el phox/phox-fun.el phox/phox-lang.el phox/phox-outline.el phox/phox-pbrpm.el phox/phox- tags.el phox/phox.el phox/x-symbol-phox.el plastic/plastic-syntax.el plastic/plastic.el twelf/twelf-font.el twelf/twelf-old.el twelf/ twelf.el twelf/x-symbol-twelf.el x-symbol/lisp/_pkg.el x-symbol/lisp/ auto-autoloads.el x-symbol/lisp/custom-load.el x-symbol/lisp/x-symbol- bib.el x-symbol/lisp/x-symbol-emacs.el x-symbol/lisp/x-symbol- hooks.el x-symbol/lisp/x-symbol-image.el x-symbol/lisp/x-symbol- macs.el x-symbol/lisp/x-symbol-mule.el x-symbol/lisp/x-symbol- nomule.el x-symbol/lisp/x-symbol-sgml.el x-symbol/lisp/x-symbol- tex.el x-symbol/lisp/x-symbol-texi.el x-symbol/lisp/x-symbol-vars.el x-symbol/lisp/x-symbol-xmacs.el x-symbol/lisp/x-symbol.el Loading /usr/libexec/emacs/21.2/powerpc-apple-darwin8.0/fns-21.2.1.el (source)... Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/acl2/acl2.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/acl2/x-symbol-acl2.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/coq/coq-abbrev.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/coq/coq-autotest.elc While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/coq/coq- indent.el:
  ** The function `proof-indent-pad-eol' is not known to be defined.
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/coq/coq-indent.elc While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/coq/coq-syntax.el:
  ** reference to free variable coq-prog-name
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/coq/coq-syntax.elc While compiling proofstack in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/coq/coq.el:
  ** function proofstack defined multiple times in this file
  ** function proofstack defined multiple times in this file
While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/coq/coq.el:
  ** assignment to free variable tags-always-exact
  ** function coq-PrintHint defined multiple times in this file
While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/coq/coq.el:
  ** reference to free variable coq-keymap
  ** reference to free variable coq-translate-to-v8
While compiling coq-mode-config in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/coq/coq.el:
  ** assignment to free variable comment-quote-nested
  ** assignment to free variable outline-heading-end-regexp
  ** reference to free variable tag-table-alist
  ** assignment to free variable tag-table-alist
  ** reference to free variable coq-require-command-regexp
While compiling coq-maybe-compile-buffer in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/coq/coq.el:
  ** reference to free variable coq-auto-compile-vos
  ** reference to free variable buffer
  ** reference to free variable compile-command
While compiling coq-process-file in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/coq/coq.el:
  ** reference to free variable coq-auto-compile-vos
While compiling coq-preprocessing in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/coq/coq.el:
  ** reference to free variable coq-time-commands
  ** reference to free variable string
  ** assignment to free variable string
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/coq/coq.el: ** The following functions might not be defined at runtime: span- property,
    set-span-property
  ** The following functions are not known to be defined:
holes-replace-string-by-holes-backward, holes-set-point-next- hole-destroy,
    symbol-near-point
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/coq/coq.elc While compiling coq-match-subscript in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/coq/x- symbol-coq.el:
  ** assignment to free variable x-symbol-coq-subscript-type
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/coq/x- symbol-coq.el:
  ** The function `x-symbol-make-grammar' is not known to be defined.
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/coq/x-symbol-coq.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/demoisa/demoisa-easy.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/demoisa/demoisa.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/pg-assoc.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/pg-autotest.elc While compiling proof-goals-mode in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/pg- goals.el:
  ** reference to free variable proof-assistant-menu
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/pg- goals.el: ** The following functions might not be defined at runtime: make- span,
    set-span-property, span-start, span-end, span-property
  ** The function `mouse-set-point' is not known to be defined.
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/pg-goals.elc While compiling pg-pbrpm-erase-buffer-menu in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/pg-pbrpm.el:
  ** erase-buffer called with 1 argument, but accepts only 0
While compiling pg-pbrpm-analyse-goal-buffer in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/pg-pbrpm.el:
  ** reference to free variable pg-pbrpm-start-goal-regexp
  ** reference to free variable pg-pbrpm-start-goal-regexp-par-num
  ** reference to free variable pg-pbrpm-end-goal-regexp
  ** reference to free variable pg-pbrpm-start-hyp-regexp
  ** reference to free variable pg-pbrpm-start-hyp-regexp-par-num
  ** reference to free variable pg-pbrpm-start-concl-regexp
While compiling pg-pbrpm-build-menu in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/pg- pbrpm.el:
  ** assignment to free variable click-info
  ** reference to free variable click-info
  ** assignment to free variable pbrpm-menu-desc
  ** reference to free variable pbrpm-menu-desc
  ** reference to free variable phox-x-symbol-enable
While compiling pg-pbrpm-setup-span in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/pg- pbrpm.el:
  ** delete-backward-char called with 0 arguments, but requires 1-2
  ** delete-backward-char called with 0 arguments, but requires 1-2
  ** delete-backward-char called with 0 arguments, but requires 1-2
  ** delete-backward-char called with 0 arguments, but requires 1-2
While compiling pg-pbrpm-get-pos-info in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/pg- pbrpm.el:
  ** assignment to free variable start-goal
  ** assignment to free variable end-goal
  ** assignment to free variable goal-name
  ** assignment to free variable start-concl
  ** assignment to free variable hyps
  ** reference to free variable start-goal
  ** reference to free variable end-goal
  ** reference to free variable goal-name
  ** assignment to free variable the-goal-name
  ** reference to free variable start-concl
  ** assignment to free variable the-click-info
  ** reference to free variable hyps
  ** assignment to free variable start-hyp
  ** assignment to free variable start-hyp-text
  ** assignment to free variable end-hyp
  ** assignment to free variable hyp-name
  ** reference to free variable start-hyp
  ** reference to free variable end-hyp
  ** reference to free variable hyp-name
  ** reference to free variable the-goal-name
  ** reference to free variable the-click-info
While compiling pg-pbrpm-get-region-info in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/pg- pbrpm.el:
  ** assignment to free variable r1
  ** assignment to free variable r2
  ** reference to free variable r1
  ** reference to free variable r2
While compiling auto-select-arround-pos in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/pg- pbrpm.el:
  ** reference to free variable pg-pbrpm-auto-select-regexp
While compiling pg-pbrpm-translate-position in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/pg-pbrpm.el:
  ** point called with 1 arg, but requires none
While compiling pg-pbrpm-process-region in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/pg- pbrpm.el:
  ** assignment to free variable r
  ** reference to free variable r
While compiling pg-pbrpm-region-expression in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/pg-pbrpm.el:
  ** buffer-substring called with 3 args, but requires 2
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/pg- pbrpm.el:
  ** The following functions might not be defined at runtime: span-end,
    span-start, span-property, make-span, set-span-property,
    span-buffer
  ** The following functions are not known to be defined:
    proof-pbrpm-generate-menu, popup-menu, insert-gui-button,
    make-gui-button, x-symbol-decode, make-dialog-frame,
    mouse-set-point, event-point, event-buffer,
    default-mouse-track-return-dragged-selection,
    default-mouse-track-drag-hook, mouse-track
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/pg-pbrpm.elc While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/pg- pgip-old.el:
  ** The following functions are not known to be defined:
    pg-xml-get-text-content, pg-xml-get-attr, pg-pgip-subst-for,
    pg-pgip-string-of-command, pg-pgip-old-error
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/pg-pgip-old.elc An old version of xml.el was loaded! It is buggy. See Proof General FAQ. While compiling pg-pgip-process-msg in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/pg- pgip.el:
  ** reference to free variable pgip
While compiling pg-pgip-process-askpgip in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/pg- pgip.el:
  ** reference to free variable version
While compiling pg-pgip-process-pgmlconfig in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/pg-pgip.el:
  ** xml-get-children called with 1 argument, but requires 2
While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/pg-pgip.el: !! Wrong number of arguments ((#[(node) "\30D\207" [node car] 2 ("/ usr/share/emacs/21.2/lisp/xml.elc" . 615)] 2)) While compiling pg-response-clear-displays in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/pg-resolve.el:
  ** reference to free variable proof-resolve-buffer
While compiling proof-shell-maybe-erase-resolve in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/pg-resolve.el:
  ** reference to free variable proof-resolve-buffer
  ** reference to free variable proof-tidy-resolve
  ** assignment to free variable pg-resolve-next-error
While compiling pg-resolve-display in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/pg- resolve.el:
  ** reference to free variable proof-resolve-buffer
While compiling pg-resolve-display-with-face in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/pg-resolve.el:
  ** reference to free variable proof-resolve-buffer
While compiling pg-resolve-clear-displays in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/pg-resolve.el:
  ** reference to free variable proof-resolve-buffer
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/pg- resolve.el:
  ** The function `pg-pgip-get-version' is not known to be defined.
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/pg-resolve.elc While compiling proof-response-mode in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/pg- response.el:
  ** reference to free variable proof-assistant-menu
While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/pg-response.el:
  ** reference to free variable has-modeline-p
  ** reference to free variable menubar-visible-p
  ** reference to free variable default-gutter-visible-p
  ** reference to free variable default-toolbar-visible-p
  ** The function `set-specifier' is not known to be defined.
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/pg-response.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/pg-thymodes.elc While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/pg-user.el:
  ** get called with 3 args, but requires 2
  ** assignment to free variable incomment
  ** reference to free variable ins
  ** reference to free variable mrk
While compiling proof-add-completions in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/pg- user.el:
  ** reference to free variable completion-min-length
While compiling pg-fixup-children-span in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/pg- user.el:
  ** reference to free variable new-span
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/pg- user.el: ** The following functions might not be defined at runtime: span- start,
    span-property, span-end, set-span-endpoints, set-span-property
  ** The following functions are not known to be defined:
    proof-segment-up-to, mouse-set-point, mouse-track-insert,
    add-completion, pg-insert-output-as-comment-fn, own-clipboard,
    event-window, event-point, popup-menu
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/pg-user.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/pg-xhtml.elc While compiling pg-xml-string-of in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/pg- xml.el:
  ** reference to free variable strs
  ** assignment to free variable strs
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/pg- xml.el:
  ** The function `pg-pgip-error' is not known to be defined.
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/pg-xml.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-autoloads.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-config.elc While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/ proof-depends.el:
  ** The following functions might not be defined at runtime:
    set-span-property, span-property, span-start
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-depends.elc While compiling proof-easy-config-check-setup in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-easy-config.el:
  ** reference to free variable string
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-easy-config.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-indent.elc While compiling proof-menu-define-specific in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-menu.el: ** Third arg to defvar proof-assistant-menu is not a string: (concat The menu for proof-assistant) While compiling proof-assistant-menu-update in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-menu.el:
  ** reference to free variable proof-assistant-menu
While compiling proof-del-favourite in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/ proof-menu.el:
  ** reference to free variable proof-assistant-menu
While compiling proof-add-favourite in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/ proof-menu.el:
  ** reference to free variable proof-assistant-menu
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-menu.elc While compiling proof-mmm-set-global in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/ proof-mmm.el:
  ** reference to free variable mmm-mode-ext-classes-alist
  ** assignment to free variable mmm-mode-ext-classes-alist
  ** reference to free variable mmm-global-mode
  ** assignment to free variable mmm-global-mode
While compiling proof-mmm-enable in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/ proof-mmm.el:
  ** reference to free variable mmm-mode
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/ proof-mmm.el:
  ** The function `mmm-mode' is not known to be defined.
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-mmm.elc While compiling proof-script-find-next-entity in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-script.el:
  ** reference to free variable fume-function-name-regexp
While compiling proof-segment-up-to-cmdend in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-script.el:
  ** reference to free variable prev
  ** reference to free variable alist
  ** assignment to free variable alist
  ** assignment to free variable prev
While compiling proof-config-done in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/ proof-script.el:
  ** reference to free variable proof-mode-menu
  ** reference to free variable proof-assistant-menu
  ** reference to free variable invisible-text-glyph
While compiling proof-setup-func-menu in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/ proof-script.el:
  ** reference to free variable fume-function-name-regexp-alist
  ** assignment to free variable fume-function-name-regexp-alist
  ** reference to free variable fume-find-function-name-method-alist
  ** assignment to free variable fume-find-function-name-method-alist
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/ proof-script.el:
  ** The following functions might not be defined at runtime:
    set-span-endpoints, detach-span, span-end, span-start, make-span,
    set-span-property, span-property
  ** The function `set-glyph-image' is not known to be defined.
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-script.elc While compiling proof-shell-start in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/ proof-shell.el:
  ** reference to free variable has-modeline-p
While compiling proof-shell-process-urgent-messages in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-shell.el:
  ** reference to free variable comint-last-input-end
While compiling proof-shell-dont-show-annotations in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-shell.el:
  ** reference to free variable current-display-table
While compiling proof-shell-show-annotations in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-shell.el:
  ** reference to free variable current-display-table
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/ proof-shell.el:
  ** The following functions might not be defined at runtime:
    span-property, span-start, set-span-endpoints, detach-span,
    make-span, set-span-property
  ** The following functions are not known to be defined: extentp,
    set-extent-properties, set-specifier, map-extents,
    redisplay-frame, add-spec-to-specifier, remove-specifier
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-shell.elc While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/proof-site.el:
  ** reference to free variable Info-directory-list
  ** assignment to free variable Info-directory-list
  ** assignment to free variable Info-dir-contents
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-site.elc While compiling proof-splash-remove-screen in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-splash.el:
  ** redraw-frame called with 2 arguments, but accepts only 1
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/ proof-splash.el:
  ** The following functions are not known to be defined:
    device-pixel-depth, valid-instantiator-p, glyphp, glyph-width,
    image-size, make-glyph, set-extent-begin-glyph, make-extent,
    redisplay-frame, next-command-event
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-splash.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-syntax.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-system.elc While compiling proof-toolbar-setup in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/ proof-toolbar.el:
  ** reference to free variable default-toolbar
While compiling proof-toolbar-really-refresh in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-toolbar.el:
  ** reference to free variable default-toolbar
  ** reference to free variable current-itimer
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/ proof-toolbar.el:
  ** The function `span-property' might not be defined at runtime.
  ** The following functions are not known to be defined: console-type,
    set-specifier, remove-specifier, device-pixel-depth,
    toolbar-make-button-list, start-itimer, delete-itimer,
    set-specifier-dirty-flag
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-toolbar.elc While compiling proof-font-lock-configure-defaults in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-utils.el:
  ** reference to free variable font-lock-mode-disable-list
  ** assignment to free variable font-lock-mode-disable-list
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/ proof-utils.el: ** The function `proof-x-symbol-decode-region' might not be defined at runtime.
  ** The following functions are not known to be defined:
    display-warning, custom-push-theme, locate-file
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-utils.elc While compiling proof-x-symbol-support-maybe-available in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-x-symbol.el:
  ** assignment to free variable x-symbol-data-directory
While compiling proof-x-symbol-initialize in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-x-symbol.el:
  ** reference to free variable assistant
While compiling proof-x-symbol-encode-shell-input in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-x-symbol.el:
  ** reference to free variable x-symbol-language
  ** reference to free variable string
  ** assignment to free variable string
While compiling proof-x-symbol-set-language in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-x-symbol.el:
  ** assignment to free variable x-symbol-language
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/generic/ proof-x-symbol.el:
  ** The following functions are not known to be defined:
    x-symbol-initialize, x-symbol-register-language, x-symbol-mode,
    x-symbol-encode-string, x-symbol-decode
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof-x-symbol.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/generic/proof.elc While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/hol98/hol98.el:
  ** assignment to free variable hol98-keywords
  ** assignment to free variable hol98-rules
  ** assignment to free variable hol98-tactics
  ** assignment to free variable hol98-tacticals
  ** reference to free variable hol98-keywords
  ** reference to free variable hol98-tactics
  ** reference to free variable hol98-tacticals
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/hol98/hol98.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/hol98/x-symbol-hol98.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/isa/interface-setup.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/isa/isa-syntax.elc Please give the full path to `isatool' (RET if you don't have it): / Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/clintonlefort/bin/ Proof General: isatool command not found; some menus will be incomplete and Isabelle may not run correctly. Please check your Isabelle installation. While compiling isa-shell-update-thy in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/isa/isa.el:
  ** reference to free variable activated-interactively
While compiling isa-mode in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/isa/isa.el:
  ** reference to free variable proof-mode-hook
While compiling isa-mode-config in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/isa/isa.el:
  ** assignment to free variable comment-quote-nested
  ** assignment to free variable outline-heading-end-regexp
While compiling isa-preprocessing in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/isa/isa.el:
  ** reference to free variable string
  ** assignment to free variable string
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/isa/isa.el:
  ** The function `span-property' might not be defined at runtime.
  ** The function `thy-mode' is not known to be defined.
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/isa/isa.elc While compiling isabelle-logics-menu-refresh in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/isa/isabelle-system.el:
  ** reference to free variable proof-assistant-menu
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/isa/ isabelle-system.el:
  ** The function `span-property' might not be defined at runtime.
** The following functions are not known to be defined: isa-insert- ret,
    isar-markup-ml
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/isa/isabelle-system.elc While compiling thy-add-menus in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/isa/thy-mode.el:
  ** reference to free variable thy-mode-deps-menu
While compiling thy-mode in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/isa/thy-mode.el:
  ** reference to free variable thy-mode-font-lock-keywords
While compiling isa-sml-hook in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/isa/thy-mode.el:
  ** reference to free variable sml-mode-map
While compiling thy-install-sml-mode in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/isa/thy- mode.el:
  ** reference to free variable sml-mode-map
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/isa/thy- mode.el:
  ** The following functions are not known to be defined:
    proof-thy-menu-define-deps, sml-mode, sml-indent-line,
    read-number
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/isa/thy-mode.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/isa/x-symbol-isa.elc While compiling isabelle-match-subscript in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/isa/x- symbol-isabelle.el:
  ** assignment to free variable x-symbol-isabelle-subscript-type
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/isa/x-symbol-isabelle.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/isar/isar-autotest.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/isar/isar-keywords.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/isar/isar-mmm.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/isar/isar-syntax.elc While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/isar/isar.el:
  ** reference to free variable isar-toolbar-entries
  ** assignment to free variable isar-toolbar-entries
  ** reference to free variable string
  ** assignment to free variable string
While compiling isar-mode-config in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/isar/isar.el:
  ** assignment to free variable comment-quote-nested
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/isar/isar.el:
  ** The function `span-property' might not be defined at runtime.
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/isar/isar.elc While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/isar/x- symbol-isar.el:
  ** The function `isar-markup-ml' is not known to be defined.
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/isar/x-symbol-isar.elc While compiling lclam-config in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/lclam/lclam.el:
  ** assignment to free variable proof-comment-start
  ** assignment to free variable proof-comment-end
  ** assignment to free variable proof-assistant-homepage
While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/lclam/lclam.el:
  ** reference to free variable lclam-toolbar-entries
  ** assignment to free variable lclam-toolbar-entries
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/lclam/lclam.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/lego/lego-syntax.elc While compiling lego-mode-config in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/lego/lego.el:
  ** assignment to free variable outline-heading-end-regexp
  ** reference to free variable tag-table-alist
  ** assignment to free variable tag-table-alist
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/lego/lego.el:
  ** The function `span-property' might not be defined at runtime.
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/lego/lego.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/lego/x-symbol-lego.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/lib/holes-load.elc While compiling holes-make-hole in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/lib/holes.el:
  ** reference to free variable hole-map
While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/lib/holes.el: !! error (("Your (X)Emacs version is not compatible with holes (too old or
    new version?), sorry"))
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/lib/proof- compat.el:
  ** The following functions might not be defined at runtime:
    detach-span, span-property, span-start, span-end, span-buffer,
    make-span
  ** The following functions are not known to be defined: console-type,
    set-keymap-parents, push-window-configuration, record-buffer,
    symbol-value-in-buffer, select-buffers-tab-buffers-by-mode-old
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/lib/proof-compat.elc While compiling span-give-warning in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/lib/span- extent.el:
  ** function span-give-warning used to take 0+ arguments, now takes 0
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/lib/span- extent.el:
  ** The following functions are not known to be defined: make-extent,
    detach-extent, set-extent-endpoints, set-extent-property,
    extent-property, delete-extent, mapcar-extents, extent-at,
    extent-start-position, extent-end-position, extent-live-p,
    extent-object, extent-detached-p, set-extent-face, map-extents,
    set-extent-properties, set-extent-keymap, extent-at-event
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/lib/span-extent.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/lib/span-overlay.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/lib/span.elc While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/lib/texi- docstring-magic.el:
  ** The function `find-face' is not known to be defined.
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/lib/texi-docstring-magic.elc While compiling xml-node-name in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/lib/xml-fixed.el:
  ** macro xml-node-name being redefined as a function
While compiling xml-node-attributes in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/lib/xml- fixed.el:
  ** macro xml-node-attributes being redefined as a function
While compiling xml-node-children in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/lib/xml- fixed.el:
  ** macro xml-node-children being redefined as a function
While compiling xml-debug-print-internal in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/lib/xml- fixed.el: ** function xml-debug-print-internal used to take 1-2 arguments, now takes 2 Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/lib/xml-fixed.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/mmm/mmm-auto.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/mmm/mmm-class.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/mmm/mmm-cmds.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/mmm/mmm-compat.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/mmm/mmm-mason.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/mmm/mmm-mode.elc While compiling mmm-update-mode-info in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/mmm/mmm- region.el: ** font-lock-defaults-alist is an obsolete variable; use font-lock- defaults instead. Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/mmm/mmm-region.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/mmm/mmm-rpm.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/mmm/mmm-sample.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/mmm/mmm-univ.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/mmm/mmm-utils.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/mmm/mmm-vars.elc While compiling phox-prog-flags-modify in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/phox/phox- extraction.el:
  ** reference to free variable phox-prog-name
  ** assignment to free variable phox-prog-name
While compiling phox-toggle-extraction in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/phox/phox- extraction.el:
  ** reference to free variable phox-prog-name
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/phox/phox-extraction.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/phox/phox-font.elc While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/phox/phox-fun.el:
  ** assignment to free variable phox-forget-id-command
  ** assignment to free variable phox-forget-proof-command
  ** assignment to free variable phox-forget-new-elim-command
  ** assignment to free variable phox-forget-new-intro-command
  ** assignment to free variable phox-forget-new-equation-command
  ** assignment to free variable phox-forget-close-def-command
  ** assignment to free variable phox-comments-regexp
  ** assignment to free variable phox-strict-comments-regexp
  ** assignment to free variable phox-ident-regexp
  ** assignment to free variable phox-inductive-option
  ** assignment to free variable phox-spaces-regexp
  ** reference to free variable phox-comments-regexp
  ** assignment to free variable phox-sy-definition-regexp
  ** reference to free variable phox-inductive-option
  ** assignment to free variable phox-sy-inductive-regexp
  ** reference to free variable phox-ident-regexp
  ** assignment to free variable phox-inductive-regexp
  ** assignment to free variable phox-data-regexp
  ** assignment to free variable phox-definition-regexp
  ** assignment to free variable phox-prove-claim-regexp
  ** assignment to free variable phox-new-elim-regexp
  ** assignment to free variable phox-new-intro-regexp
  ** assignment to free variable phox-new-rewrite-regexp
  ** assignment to free variable phox-new-equation-regexp
  ** assignment to free variable phox-close-def-regexp
  ** reference to free variable phox-prove-claim-regexp
  ** reference to free variable phox-forget-proof-command
  ** reference to free variable phox-forget-id-command
  ** reference to free variable phox-new-elim-regexp
  ** reference to free variable phox-forget-new-elim-command
  ** reference to free variable phox-new-intro-regexp
  ** reference to free variable phox-forget-new-intro-command
  ** reference to free variable phox-new-rewrite-regexp
  ** reference to free variable phox-forget-new-equation-command
  ** reference to free variable phox-new-equation-regexp
  ** reference to free variable phox-close-def-regexp
  ** reference to free variable phox-forget-close-def-command
  ** reference to free variable phox-sy-definition-regexp
  ** reference to free variable phox-sy-inductive-regexp
  ** reference to free variable phox-inductive-regexp
  ** reference to free variable phox-data-regexp
  ** reference to free variable phox-definition-regexp
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/phox/phox- fun.el:
  ** The function `span-end' might not be defined at runtime.
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/phox/phox-fun.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/phox/phox-lang.elc While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/phox/phox-outline.el:
  ** assignment to free variable phox-outline-title-regexp
  ** assignment to free variable phox-outline-section-regexp
  ** assignment to free variable phox-outline-save-regexp
  ** assignment to free variable phox-outline-theo-regexp
  ** assignment to free variable phox-outline-theo2-regexp
  ** reference to free variable phox-outline-title-regexp
  ** reference to free variable phox-outline-section-regexp
  ** reference to free variable phox-outline-save-regexp
  ** reference to free variable phox-outline-theo-regexp
  ** reference to free variable phox-outline-theo2-regexp
  ** assignment to free variable phox-outline-regexp
  ** assignment to free variable phox-outline-heading-end-regexp
  ** reference to free variable phox-outline-title-regexp
  ** reference to free variable phox-outline-section-regexp
  ** reference to free variable phox-outline-theo-regexp
  ** reference to free variable phox-outline-save-regexp
  ** reference to free variable phox-outline-theo2-regexp
While compiling phox-setup-outline in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/phox/phox- outline.el:
  ** reference to free variable phox-outline-heading-end-regexp
  ** assignment to free variable outline-heading-end-regexp
  ** reference to free variable phox-outline-regexp
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/phox/phox-outline.elc While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/phox/phox-pbrpm.el:
  ** assignment to free variable pg-pbrpm-start-goal-regexp
  ** assignment to free variable pg-pbrpm-start-goal-regexp-par-num
  ** assignment to free variable pg-pbrpm-end-goal-regexp
  ** assignment to free variable pg-pbrpm-start-hyp-regexp
  ** assignment to free variable pg-pbrpm-start-hyp-regexp-par-num
  ** assignment to free variable pg-pbrpm-start-concl-regexp
  ** assignment to free variable pg-pbrpm-auto-select-regexp
  ** The following functions might not be defined at runtime:
    phox-lang-absurd, phox-lang-suppress, phox-lang-opendef,
    phox-lang-instance, phox-lang-prove, phox-lang-let
  ** The following functions are not known to be defined: int-char,
    char=
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/phox/phox-pbrpm.elc While compiling phox-tags-add-table in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/phox/phox- tags.el:
  ** reference to free variable tag-table-alist
  ** assignment to free variable tag-table-alist
While compiling phox-tags-reset-table in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/phox/phox- tags.el:
  ** reference to free variable tag-table-alist
  ** assignment to free variable tag-table-alist
While compiling phox-tags-add-doc-table in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/phox/phox- tags.el:
  ** reference to free variable phox-doc-dir
While compiling phox-tags-add-lib-table in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/phox/phox- tags.el:
  ** reference to free variable phox-lib-dir
While compiling phox-tags-create-local-table in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/phox/phox-tags.el:
  ** reference to free variable phox-etags
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/phox/phox- tags.el:
  ** The function `tag-complete-symbol' is not known to be defined.
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/phox/phox-tags.elc While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/phox/phox.el:
  ** reference to free variable phox-toolbar-entries
  ** assignment to free variable phox-toolbar-entries
  ** reference to free variable phox-mode-map
While compiling phox-mode in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/phox/phox.el:
  ** reference to free variable phox-x-symbol-enable
  ** assignment to free variable x-symbol-language
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/phox/phox.el:
  ** The function `x-symbol-mode' is not known to be defined.
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/phox/phox.elc While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/phox/x- symbol-phox.el:
  ** The function `x-symbol-make-grammar' is not known to be defined.
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/phox/x-symbol-phox.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/plastic/plastic-syntax.elc While compiling plastic-mode-config in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/plastic/ plastic.el:
  ** assignment to free variable outline-heading-end-regexp
  ** reference to free variable tag-table-alist
  ** assignment to free variable tag-table-alist
While compiling plastic-shell-mode-config in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/plastic/plastic.el:
  ** assignment to free variable proof-shell-goal-regexp
While compiling plastic-preprocessing in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/plastic/ plastic.el:
  ** reference to free variable string
  ** assignment to free variable string
While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/plastic/plastic.el:
  ** reference to free variable plastic-keymap
  ** The function `span-end' might not be defined at runtime.
  ** The function `popup-dialog-box' is not known to be defined.
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/plastic/plastic.elc While compiling twelf-font-find-decl in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/twelf/twelf- font.el:
  ** reference to free variable *whitespace*
While compiling twelf-font-find-binder in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/twelf/twelf- font.el:
  ** reference to free variable *twelf-comment-start*
  ** reference to free variable *whitespace*
While compiling twelf-current-decl in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/twelf/twelf- font.el:
  ** reference to free variable *whitespace*
While compiling twelf-next-decl in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/twelf/twelf-font.el:
  ** reference to free variable *twelf-id-chars*
While compiling skip-ahead in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/twelf/twelf-font.el:
  ** assignment to free variable *twelf-error-pos*
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/twelf/twelf- font.el:
  ** The following functions are not known to be defined:
    font-lock-any-faces-p, font-lock-set-face
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/twelf/twelf-font.elc While compiling twelf-tag in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/twelf/twelf-old.el:
  ** file-name-directory called with 2 arguments, but accepts only 1
While compiling twelf-sml-mode in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/twelf/twelf-old.el:
  ** assignment to free variable comint-match-partial-pathname-chars
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/twelf/twelf- old.el:
  ** The following functions are not known to be defined:
    zmacs-activate-region, toggle, radio
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/twelf/twelf-old.elc While compiling twelf-add-read-declaration in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/twelf/twelf.el:
  ** reference to free variable action
  ** reference to free variable string
  ** assignment to free variable string
While compiling twelf-set-syntax in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/twelf/ twelf.el:
  ** reference to free variable twelf-mode-syntax-table
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/twelf/twelf.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/twelf/x-symbol-twelf.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/x-symbol/lisp/_pkg.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/x-symbol/lisp/auto-autoloads.elc Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/x-symbol/lisp/custom-load.elc While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/x-symbol/lisp/x- symbol-bib.el:
  !! Symbol's function definition is void ((set-fontset-font))
While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/x-symbol/lisp/x- symbol-emacs.el:
  !! Symbol's function definition is void ((set-fontset-font))
While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/x-symbol/lisp/x- symbol-hooks.el:
  !! Symbol's function definition is void ((set-fontset-font))
While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/x-symbol/lisp/x- symbol-image.el:
  !! Symbol's function definition is void ((set-fontset-font))
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/x-symbol/lisp/x-symbol-macs.elc While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/x-symbol/lisp/x- symbol-mule.el:
  !! Symbol's function definition is void ((set-fontset-font))
While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/x-symbol/lisp/x- symbol-nomule.el:
  !! Symbol's function definition is void ((set-fontset-font))
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/x-symbol/ lisp/x-symbol-sgml.el:
  ** The function `x-symbol-match-in-alist' is not known to be defined.
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/x-symbol/lisp/x-symbol-sgml.elc While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/x-symbol/lisp/x- symbol-tex.el:
  !! Symbol's function definition is void ((set-fontset-font))
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/x-symbol/lisp/x-symbol-texi.elc While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/x-symbol/lisp/x- symbol-vars.el:
  !! Symbol's function definition is void ((set-fontset-font))
While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/x-symbol/lisp/x- symbol-xmacs.el:
  ** reference to free variable emacs-patch-level
  ** reference to free variable x-symbol-default-coding
  ** assignment to free variable x-symbol-default-coding
  ** reference to free variable x-symbol-latin-force-use
  ** assignment to free variable x-symbol-latin1-fonts
  ** assignment to free variable x-symbol-latin2-fonts
  ** assignment to free variable x-symbol-latin3-fonts
  ** assignment to free variable x-symbol-latin5-fonts
  ** assignment to free variable x-symbol-latin9-fonts
  ** assignment to free variable x-symbol-xsymb0-fonts
  ** assignment to free variable x-symbol-xsymb1-fonts
  ** assignment to free variable paren-mode
While compiling x-symbol-event-in-current-buffer in file /Users/ clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/x-symbol/lisp/x-symbol-xmacs.el:
  ** reference to free variable current-mouse-event
While compiling x-symbol-window-width in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/x-symbol/ lisp/x-symbol-xmacs.el:
  ** reference to free variable scrollbar-width
While compiling the end of the data in file /Users/clintonlefort/ Isabelle/Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/x-symbol/ lisp/x-symbol-xmacs.el:
  ** The following functions are not known to be defined: console-type,
    event-buffer, make-image-instance, set-face-property,
    mouse-event-p, event-matches-key-specifier-p, window-pixel-width,
    window-left-margin-pixel-width, window-right-margin-pixel-width,
    specifier-instance, font-instance-width, face-font-instance
Wrote /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930/x-symbol/lisp/x-symbol-xmacs.elc While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/x-symbol/lisp/x- symbol.el:
  !! Symbol's function definition is void ((set-fontset-font))
Done
make: [.byte-compile] Error 1 (ignored)
rm -f
Byte compiling X-Symbol...
(cd x-symbol/lisp; rm -f *.elc; make EMACS="emacs -q -no-site-file")
emacs -q -no-site-file -batch --eval '(setq load-path (append (list "." "/usr/local/share/emacs/site-lisp/elib" "/usr/local/share/emacs/ site-lisp") load-path))' -f batch-byte-compile x-symbol-hooks.el While compiling toplevel forms in file /Users/clintonlefort/Isabelle/ Isabelle/ISABELLE_HOME/ProofGeneral-3.6pre050930/x-symbol/lisp/x- symbol-hooks.el:
  !! Symbol's function definition is void ((set-fontset-font))
Done
make[1]: *** [x-symbol-hooks.elc] Error 1
make: *** [.byte-compile] Error 2
24-182-155-183:~/Isabelle/Isabelle/ISABELLE_HOME/ ProofGeneral-3.6pre050930 clintonlefort$


Clint LeFort







This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.