new file:   conf/.emacs
    new file:   conf/.emacs.d/.org-id-locations
    new file:   conf/.emacs.d/ac-comphist.dat
    new file:   conf/.emacs.d/auto-save-list/.saves-12321-smyang-desktop~
    new file:   conf/.emacs.d/auto-save-list/.saves-1895-smyang-desktop~
    new file:   conf/.emacs.d/auto-save-list/.saves-5732-smyang-desktop~
    new file:   conf/.emacs.d/conf.d/00basic.el
    new file:   conf/.emacs.d/conf.d/00basic.elc
    new file:   conf/.emacs.d/conf.d/10gui.el
    new file:   conf/.emacs.d/conf.d/10gui.elc
    new file:   conf/.emacs.d/conf.d/20keybind.el
    new file:   conf/.emacs.d/conf.d/20keybind.elc
    new file:   conf/.emacs.d/conf.d/40cal.el
    new file:   conf/.emacs.d/conf.d/40cal.elc
    new file:   conf/.emacs.d/conf.d/55sml.el
    new file:   conf/.emacs.d/conf.d/55sml.elc
    new file:   conf/.emacs.d/conf.d/75org.el
    new file:   conf/.emacs.d/conf.d/75org.elc
    new file:   conf/.emacs.d/conf.d/80tex.el
    new file:   conf/.emacs.d/conf.d/80tex.elc
    new file:   conf/.emacs.d/conf.d/85coq.el
    new file:   conf/.emacs.d/conf.d/85coq.elc
    new file:   conf/.emacs.d/conf.d/90auto-complete.el
    new file:   conf/.emacs.d/conf.d/90auto-complete.elc
    new file:   conf/.emacs.d/semanticdb/!home!smyang!workspace!decision-book-software!lib!parsing!semantic.cache
    new file:   conf/.emacs.d/semanticdb/!home!smyang!workspace!decision-book-software!lib!simplex!semantic.cache
    new file:   conf/.emacs.d/semanticdb/!usr!include!bits!semantic.cache
    new file:   conf/.emacs.d/semanticdb/!usr!include!c++!4.4!i486-linux-gnu!bits!semantic.cache
    new file:   conf/.emacs.d/semanticdb/!usr!include!gnu!semantic.cache
    new file:   conf/.emacs.d/semanticdb/!usr!include!semantic.cache
    new file:   conf/.emacs.d/semanticdb/!usr!include!sys!semantic.cache
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/.byte-compile
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/AUTHORS
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/BUGS
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/CHANGES
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/COMPATIBILITY
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/COPYING
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/FAQ
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/FUTURE
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/INSTALL
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/Makefile
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/README
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/REGISTER
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/acl2/README
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/acl2/acl2.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/acl2/acl2.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/acl2/example.acl2
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/acl2/root2.acl2
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/acl2/x-symbol-acl2.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/acl2/x-symbol-acl2.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/bin/proofgeneral
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/ccc/README
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/ccc/ccc.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/ccc/ccc.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/BUGS
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/KnasterTarski.v
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/README
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/coq-abbrev.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/coq-abbrev.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/coq-autotest.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/coq-autotest.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/coq-db.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/coq-db.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/coq-indent.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/coq-indent.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/coq-local-vars.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/coq-local-vars.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/coq-mmm.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/coq-mmm.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/coq-syntax.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/coq-syntax.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/coq-unicode-tokens.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/coq-unicode-tokens.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/coq.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/coq.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/coqtags
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/ex-module.v
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/ex-ssreflect.v
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/example-utf8.v
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/example-x-symbols.v
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/example.v
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/root2.v
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/utf8.v
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/x-symbol-coq.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/coq/x-symbol-coq.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/demoisa/README
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/demoisa/demoisa-easy.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/demoisa/demoisa-easy.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/demoisa/demoisa.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/demoisa/demoisa.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/Makefile
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/Makefile.doc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting.info
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting.texi
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting/PG-adapting.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting/PG-adapting_1.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting/PG-adapting_10.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting/PG-adapting_11.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting/PG-adapting_12.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting/PG-adapting_13.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting/PG-adapting_14.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting/PG-adapting_15.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting/PG-adapting_16.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting/PG-adapting_17.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting/PG-adapting_18.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting/PG-adapting_19.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting/PG-adapting_2.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting/PG-adapting_3.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting/PG-adapting_4.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting/PG-adapting_5.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting/PG-adapting_6.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting/PG-adapting_7.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting/PG-adapting_8.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting/PG-adapting_9.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting/PG-adapting_abt.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/PG-adapting/PG-adapting_toc.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral.info
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral.texi
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_1.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_10.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_11.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_12.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_13.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_14.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_15.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_16.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_17.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_18.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_19.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_2.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_20.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_21.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_3.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_4.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_5.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_6.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_7.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_8.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_9.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_abt.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_fot.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/ProofGeneral/ProofGeneral_toc.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/README.documentation
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/dir
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/index.html
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/doc/proofgeneral.1
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/etc/ProofGeneral.desktop
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/etc/ProofGeneral.menu
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/etc/ProofGeneral.spec
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/etc/README
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/etc/README.devel
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/etc/desktop/README
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/etc/desktop/application-registry/proofgeneral.applications
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/etc/desktop/icons/16x16/proofgeneral.png
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/etc/desktop/icons/32x32/proofgeneral.png
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/etc/desktop/icons/48x48/proofgeneral.png
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/etc/desktop/mime-info/proofgeneral.keys
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/etc/desktop/mime-info/proofgeneral.mime
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/etc/desktop/proofgeneral.desktop
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/etc/mmm-install
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/etc/testsuite/pg-pgip-test.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/etc/testsuite/pg-test.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/etc/trac/README
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/etc/trac/trac-200.thy
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/etc/trac/trac-206.thy
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/README
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/pg-assoc.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/pg-assoc.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/pg-autotest.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/pg-autotest.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/pg-custom.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/pg-custom.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/pg-goals.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/pg-goals.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/pg-pbrpm.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/pg-pbrpm.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/pg-pgip.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/pg-pgip.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/pg-response.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/pg-response.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/pg-thymodes.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/pg-thymodes.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/pg-user.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/pg-user.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/pg-vars.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/pg-vars.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/pg-xml.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/pg-xml.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-autoloads.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-autoloads.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-auxmodes.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-auxmodes.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-config.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-config.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-depends.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-depends.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-easy-config.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-easy-config.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-indent.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-indent.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-maths-menu.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-maths-menu.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-menu.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-menu.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-mmm.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-mmm.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-script.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-script.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-shell.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-shell.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-site.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-site.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-splash.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-splash.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-syntax.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-syntax.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-toolbar.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-toolbar.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-unicode-tokens.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-unicode-tokens.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-utils.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-utils.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-x-symbol.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof-x-symbol.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/generic/proof.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/hol98/README
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/hol98/example.sml
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/hol98/hol98.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/hol98/hol98.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/hol98/root2.sml
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/hol98/x-symbol-hol98.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/hol98/x-symbol-hol98.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/ProofGeneral.gif
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/ProofGeneral.jpg
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/README
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-abort.png
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-abort.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-command.png
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-command.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-context.png
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-context.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-find.png
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-find.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-goal.png
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-goal.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-goto.png
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-goto.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-help.png
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-help.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-info.png
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-info.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-interrupt.png
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-interrupt.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-next.png
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-next.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-qed.png
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-qed.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-restart.png
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-restart.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-retract.png
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-retract.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-state.png
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-state.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-undo.png
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-undo.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-use.png
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/epg-use.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/gimp/.cvsignore
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/hiddenproof.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/pg-abort.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/pg-command.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/pg-context.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/pg-find.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/pg-goal.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/pg-goto.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/pg-help.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/pg-info.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/pg-interrupt.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/pg-next.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/pg-qed.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/pg-restart.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/pg-retract.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/pg-state.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/pg-undo.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/images/pg-use.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isa/README
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/BUGS
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/Example-Xsym.thy
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/Example.thy
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/KnasterTarski.thy
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/README
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/Root2_Isar.thy
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/Root2_Tactic.thy
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/Tarski.thy
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/interface
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/interface-setup.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/interface-setup.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/isabelle-system.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/isabelle-system.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/isar-autotest.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/isar-autotest.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/isar-find-theorems.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/isar-find-theorems.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/isar-keywords.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/isar-keywords.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/isar-mmm.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/isar-mmm.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/isar-syntax.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/isar-syntax.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/isar-unicode-tokens.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/isar-unicode-tokens.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/isar.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/isar.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/isartags
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/x-symbol-isar.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/isar/x-symbol-isar.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lclam/README
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lclam/example.lcm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lclam/lclam.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lclam/lclam.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lego/BUGS
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lego/README
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lego/example.l
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lego/example2.l
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lego/lego-syntax.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lego/lego-syntax.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lego/lego.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lego/lego.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lego/legotags
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lego/root2.l
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lego/x-symbol-lego.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lego/x-symbol-lego.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/README
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/bufhist.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/bufhist.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/holes-load.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/holes-load.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/holes.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/holes.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/local-vars-list.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/local-vars-list.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/maths-menu.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/maths-menu.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/pg-dev.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/pg-dev.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/pg-fontsets.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/pg-fontsets.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/proof-compat.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/proof-compat.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/span-extent.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/span-extent.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/span-overlay.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/span-overlay.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/span.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/span.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/texi-docstring-magic.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/texi-docstring-magic.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/unicode-chars.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/unicode-chars.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/unicode-tokens.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/unicode-tokens.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/xml-fixed.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/lib/xml-fixed.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/AUTHORS
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/COPYING
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/FAQ
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/INSTALL
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/NEWS
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/README
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/README.mmm-for-ProofGeneral
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/TODO
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-auto.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-auto.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-class.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-class.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-cmds.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-cmds.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-compat.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-compat.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-cweb.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-cweb.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-mason.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-mason.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-mode.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-mode.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-noweb.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-noweb.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-region.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-region.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-rpm.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-rpm.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-sample.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-sample.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-univ.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-univ.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-utils.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-utils.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-vars.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm-vars.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/mmm.texinfo
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/mmm/version.texi
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/pgshell/README
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/pgshell/example.pgsh
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/pgshell/pgshell.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/pgshell/pgshell.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/README
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/README.pbrpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/example.phx
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/phox-extraction.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/phox-extraction.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/phox-font.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/phox-font.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/phox-fun.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/phox-fun.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/phox-lang.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/phox-lang.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/phox-outline.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/phox-outline.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/phox-pbrpm.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/phox-pbrpm.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/phox-sym-lock.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/phox-sym-lock.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/phox-tags.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/phox-tags.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/phox.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/phox.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/square-root-2.phx
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/x-symbol-phox.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/phox/x-symbol-phox.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/plastic/README
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/plastic/plastic-syntax.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/plastic/plastic-syntax.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/plastic/plastic.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/plastic/plastic.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/plastic/test.lf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/twelf/README
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/twelf/example.elf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/twelf/twelf-font.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/twelf/twelf-font.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/twelf/twelf-old.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/twelf/twelf-old.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/twelf/twelf.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/twelf/twelf.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/twelf/x-symbol-twelf.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/twelf/x-symbol-twelf.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/README.x-symbol-for-ProofGeneral
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/Makefile.emacs
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/RIP.xbm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/bigfonts/README
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/bigfonts/fonts.tar
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/colormap138.xpm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/drawing.xbm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/escherknot.xbm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/fonts-ttf/README
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/fonts-ttf/XSymb0Medium.ttf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/fonts-ttf/XSymb1Medium.ttf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/fonts-ttf/isaxsym.ttf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/fonts/2helvR12.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/fonts/2helvR14.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/fonts/3helvR12.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/fonts/3helvR14.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/fonts/5etl14.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/fonts/5etl16.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/fonts/Makefile
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/fonts/heriR12.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/fonts/heriR14.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/fonts/makesub
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/fonts/nilxs.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/fonts/xsymb0_12.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/fonts/xsymb0_14.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/fonts/xsymb0_18.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/fonts/xsymb0_24.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/fonts/xsymb1_12.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/fonts/xsymb1_14.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/fonts/xsymb1_18.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/fonts/xsymb1_24.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/2helvR12sub.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/2helvR12sup.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/2helvR14sub.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/2helvR14sup.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/3helvR12sub.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/3helvR12sup.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/3helvR14sub.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/3helvR14sup.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/5etl14sub.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/5etl14sup.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/5etl16sub.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/5etl16sup.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/helvR12sub.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/helvR12sup.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/helvR14sub.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/helvR14sup.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/helvR18sub.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/helvR18sup.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/helvR24sub.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/helvR24sup.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/heriR12sub.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/heriR12sup.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/heriR14sub.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/heriR14sup.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/xsymb0_12sub.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/xsymb0_12sup.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/xsymb0_14sub.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/xsymb0_14sup.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/xsymb0_18sub.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/xsymb0_18sup.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/xsymb0_24sub.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/xsymb0_24sup.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/xsymb1_12sub.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/xsymb1_12sup.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/xsymb1_14sub.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/xsymb1_14sup.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/xsymb1_18sub.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/xsymb1_18sup.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/xsymb1_24sub.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/genfonts/xsymb1_24sup.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/hourglass.xbm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/origfonts/helvR12.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/origfonts/helvR14.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/origfonts/helvR18.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/origfonts/helvR24.bdf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/2helvR12.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/2helvR12sub.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/2helvR12sup.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/2helvR14.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/2helvR14sub.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/2helvR14sup.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/3helvR12.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/3helvR12sub.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/3helvR12sup.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/3helvR14.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/3helvR14sub.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/3helvR14sup.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/5etl14.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/5etl14sub.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/5etl14sup.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/5etl16.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/5etl16sub.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/5etl16sup.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/fonts.dir
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/helvR12sub.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/helvR12sup.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/helvR14sub.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/helvR14sup.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/helvR18sub.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/helvR18sup.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/helvR24sub.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/helvR24sup.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/heriR12.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/heriR12sub.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/heriR12sup.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/heriR14.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/heriR14sub.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/heriR14sup.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/nilxs.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb0_12.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb0_12sub.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb0_12sup.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb0_14.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb0_14sub.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb0_14sup.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb0_18.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb0_18sub.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb0_18sup.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb0_24.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb0_24sub.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb0_24sup.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb1_12.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb1_12sub.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb1_12sup.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb1_14.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb1_14sub.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb1_14sup.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb1_18.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb1_18sub.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb1_18sup.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb1_24.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb1_24sub.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/pcf/xsymb1_24sup.pcf
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/recycle.xbm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/termlock.xbm
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/etc/utf-unicode-list.txt
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/info/x-symbol.info
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/ChangeLog
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/Makefile
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/_pkg.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/auto-autoloads.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/custom-load.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/makefile.pkg
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-autoloads.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-bib.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-bib.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-emacs.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-hooks.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-hooks.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-image.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-image.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-macs.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-macs.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-mule.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-mule.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-nomule.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-sgml.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-sgml.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-tex.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-tex.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-texi.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-texi.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-unichars.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-unicode-extras.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-unicode.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-vars.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-vars.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol-xmacs.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol.el
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/lisp/x-symbol.elc
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/man/Makefile
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/man/x-symbol.css
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/man/x-symbol.init
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/man/x-symbol.texi
    new file:   conf/.emacs.d/site-lisp/ProofGeneral/x-symbol/pkginfo/MANIFEST.x-symbol
    new file:   conf/.emacs.d/site-lisp/auctex/CHANGES
    new file:   conf/.emacs.d/site-lisp/auctex/COPYING
    new file:   conf/.emacs.d/site-lisp/auctex/ChangeLog
    new file:   conf/.emacs.d/site-lisp/auctex/FAQ
    new file:   conf/.emacs.d/site-lisp/auctex/INSTALL
    new file:   conf/.emacs.d/site-lisp/auctex/INSTALL.windows
    new file:   conf/.emacs.d/site-lisp/auctex/Makefile
    new file:   conf/.emacs.d/site-lisp/auctex/Makefile.in
    new file:   conf/.emacs.d/site-lisp/auctex/README
    new file:   conf/.emacs.d/site-lisp/auctex/RELEASE
    new file:   conf/.emacs.d/site-lisp/auctex/TODO
    new file:   conf/.emacs.d/site-lisp/auctex/aclocal.m4
    new file:   conf/.emacs.d/site-lisp/auctex/auctex.el
    new file:   conf/.emacs.d/site-lisp/auctex/auctex.el.in
    new file:   conf/.emacs.d/site-lisp/auctex/auctex.spec
    new file:   conf/.emacs.d/site-lisp/auctex/auto-loads.el
    new file:   conf/.emacs.d/site-lisp/auctex/auto-loads.el~
    new file:   conf/.emacs.d/site-lisp/auctex/bib-cite.el
    new file:   conf/.emacs.d/site-lisp/auctex/bib-cite.elc
    new file:   conf/.emacs.d/site-lisp/auctex/config.log
    new file:   conf/.emacs.d/site-lisp/auctex/config.status
    new file:   conf/.emacs.d/site-lisp/auctex/configure
    new file:   conf/.emacs.d/site-lisp/auctex/configure.ac
    new file:   conf/.emacs.d/site-lisp/auctex/context-en.el
    new file:   conf/.emacs.d/site-lisp/auctex/context-en.elc
    new file:   conf/.emacs.d/site-lisp/auctex/context-nl.el
    new file:   conf/.emacs.d/site-lisp/auctex/context-nl.elc
    new file:   conf/.emacs.d/site-lisp/auctex/context.el
    new file:   conf/.emacs.d/site-lisp/auctex/context.elc
    new file:   conf/.emacs.d/site-lisp/auctex/doc/Makefile
    new file:   conf/.emacs.d/site-lisp/auctex/doc/Makefile.in
    new file:   conf/.emacs.d/site-lisp/auctex/doc/auctex.info
    new file:   conf/.emacs.d/site-lisp/auctex/doc/auctex.info-1
    new file:   conf/.emacs.d/site-lisp/auctex/doc/auctex.info-2
    new file:   conf/.emacs.d/site-lisp/auctex/doc/auctex.texi
    new file:   conf/.emacs.d/site-lisp/auctex/doc/changes.texi
    new file:   conf/.emacs.d/site-lisp/auctex/doc/copying.texi
    new file:   conf/.emacs.d/site-lisp/auctex/doc/faq.texi
    new file:   conf/.emacs.d/site-lisp/auctex/doc/fdl.texi
    new file:   conf/.emacs.d/site-lisp/auctex/doc/history.texi
    new file:   conf/.emacs.d/site-lisp/auctex/doc/install.texi
    new file:   conf/.emacs.d/site-lisp/auctex/doc/intro.texi
    new file:   conf/.emacs.d/site-lisp/auctex/doc/macros.texi
    new file:   conf/.emacs.d/site-lisp/auctex/doc/preview-dtxdoc.pl
    new file:   conf/.emacs.d/site-lisp/auctex/doc/preview-dtxdoc.texi
    new file:   conf/.emacs.d/site-lisp/auctex/doc/preview-faq.texi
    new file:   conf/.emacs.d/site-lisp/auctex/doc/preview-latex.info
    new file:   conf/.emacs.d/site-lisp/auctex/doc/preview-latex.texi
    new file:   conf/.emacs.d/site-lisp/auctex/doc/preview-problems.texi
    new file:   conf/.emacs.d/site-lisp/auctex/doc/preview-readme.texi
    new file:   conf/.emacs.d/site-lisp/auctex/doc/preview-todo.texi
    new file:   conf/.emacs.d/site-lisp/auctex/doc/quickstart.texi
    new file:   conf/.emacs.d/site-lisp/auctex/doc/tex-ref.log
    new file:   conf/.emacs.d/site-lisp/auctex/doc/tex-ref.pdf
    new file:   conf/.emacs.d/site-lisp/auctex/doc/tex-ref.tex
    new file:   conf/.emacs.d/site-lisp/auctex/doc/todo.texi
    new file:   conf/.emacs.d/site-lisp/auctex/doc/version.texi
    new file:   conf/.emacs.d/site-lisp/auctex/doc/wininstall.texi
    new file:   conf/.emacs.d/site-lisp/auctex/font-latex.el
    new file:   conf/.emacs.d/site-lisp/auctex/font-latex.elc
    new file:   conf/.emacs.d/site-lisp/auctex/images/amstex.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/bibtex.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/dropdown.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/dvipdf.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/dvips.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/error.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/exec.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/execbibtex.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/execdvips.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/execerror.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/execpdftex.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/exectex.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/execviewdvi.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/execviewpdf.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/execviewps.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/gv.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/jumpdvi.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/ltx-symb-turn-off.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/ltx-symb-turn-on.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/pdftex.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/pspdf.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/sep.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/tex.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/view.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/viewdvi.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/viewpdf.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/images/viewps.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/install-sh
    new file:   conf/.emacs.d/site-lisp/auctex/latex.el
    new file:   conf/.emacs.d/site-lisp/auctex/latex.elc
    new file:   conf/.emacs.d/site-lisp/auctex/lpath.el
    new file:   conf/.emacs.d/site-lisp/auctex/mkinstalldirs
    new file:   conf/.emacs.d/site-lisp/auctex/multi-prompt.el
    new file:   conf/.emacs.d/site-lisp/auctex/multi-prompt.elc
    new file:   conf/.emacs.d/site-lisp/auctex/preview/COPYING
    new file:   conf/.emacs.d/site-lisp/auctex/preview/ChangeLog
    new file:   conf/.emacs.d/site-lisp/auctex/preview/ChangeLog.1
    new file:   conf/.emacs.d/site-lisp/auctex/preview/Makefile
    new file:   conf/.emacs.d/site-lisp/auctex/preview/Makefile.in
    new file:   conf/.emacs.d/site-lisp/auctex/preview/auto.el
    new file:   conf/.emacs.d/site-lisp/auctex/preview/auto.el.in
    new file:   conf/.emacs.d/site-lisp/auctex/preview/circ.tex
    new file:   conf/.emacs.d/site-lisp/auctex/preview/config.log
    new file:   conf/.emacs.d/site-lisp/auctex/preview/config.status
    new file:   conf/.emacs.d/site-lisp/auctex/preview/configure
    new file:   conf/.emacs.d/site-lisp/auctex/preview/configure.ac
    new file:   conf/.emacs.d/site-lisp/auctex/preview/images/prverr16.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/preview/images/prverr20.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/preview/images/prverr24.xbm
    new file:   conf/.emacs.d/site-lisp/auctex/preview/images/prverr24.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/preview/images/prvtex-cap-up.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/preview/images/prvtex12.xbm
    new file:   conf/.emacs.d/site-lisp/auctex/preview/images/prvtex12.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/preview/images/prvtex16.xbm
    new file:   conf/.emacs.d/site-lisp/auctex/preview/images/prvtex16.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/preview/images/prvtex20.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/preview/images/prvtex24.xbm
    new file:   conf/.emacs.d/site-lisp/auctex/preview/images/prvtex24.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/preview/images/prvwrk12.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/preview/images/prvwrk14.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/preview/images/prvwrk16.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/preview/images/prvwrk20.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/preview/images/prvwrk24.xbm
    new file:   conf/.emacs.d/site-lisp/auctex/preview/images/prvwrk24.xpm
    new file:   conf/.emacs.d/site-lisp/auctex/preview/latex/Makefile
    new file:   conf/.emacs.d/site-lisp/auctex/preview/latex/Makefile.in
    new file:   conf/.emacs.d/site-lisp/auctex/preview/latex/README
    new file:   conf/.emacs.d/site-lisp/auctex/preview/latex/bootstrap.ins
    new file:   conf/.emacs.d/site-lisp/auctex/preview/latex/bootstrap.log
    new file:   conf/.emacs.d/site-lisp/auctex/preview/latex/prauctex.cfg
    new file:   conf/.emacs.d/site-lisp/auctex/preview/latex/prauctex.def
    new file:   conf/.emacs.d/site-lisp/auctex/preview/latex/prcounters.def
    new file:   conf/.emacs.d/site-lisp/auctex/preview/latex/preview-mk.ins
    new file:   conf/.emacs.d/site-lisp/auctex/preview/latex/preview-mk.log
    new file:   conf/.emacs.d/site-lisp/auctex/preview/latex/preview.aux
    new file:   conf/.emacs.d/site-lisp/auctex/preview/latex/preview.drv
    new file:   conf/.emacs.d/site-lisp/auctex/preview/latex/preview.dtx
    new file:   conf/.emacs.d/site-lisp/auctex/preview/latex/preview.dvi
    new file:   conf/.emacs.d/site-lisp/auctex/preview/latex/preview.log
    new file:   conf/.emacs.d/site-lisp/auctex/preview/latex/preview.pdf
    new file:   conf/.emacs.d/site-lisp/auctex/preview/latex/preview.sty
    new file:   conf/.emacs.d/site-lisp/auctex/preview/latex/prfootnotes.def
    new file:   conf/.emacs.d/site-lisp/auctex/preview/latex/prlyx.def
    new file:   conf/.emacs.d/site-lisp/auctex/preview/latex/prshowbox.def
    new file:   conf/.emacs.d/site-lisp/auctex/preview/latex/prshowlabels.def
    new file:   conf/.emacs.d/site-lisp/auctex/preview/latex/prtightpage.def
    new file:   conf/.emacs.d/site-lisp/auctex/preview/latex/prtracingall.def
    new file:   conf/.emacs.d/site-lisp/auctex/preview/preview-latex.el
    new file:   conf/.emacs.d/site-lisp/auctex/preview/preview-latex.el~
    new file:   conf/.emacs.d/site-lisp/auctex/preview/preview-latex.spec
    new file:   conf/.emacs.d/site-lisp/auctex/preview/preview.el
    new file:   conf/.emacs.d/site-lisp/auctex/preview/preview.elc
    new file:   conf/.emacs.d/site-lisp/auctex/preview/prv-emacs.el
    new file:   conf/.emacs.d/site-lisp/auctex/preview/prv-emacs.elc
    new file:   conf/.emacs.d/site-lisp/auctex/preview/prv-install.el
    new file:   conf/.emacs.d/site-lisp/auctex/preview/prv-xemacs.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/.nosearch
    new file:   conf/.emacs.d/site-lisp/auctex/style/CJK.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/CJK.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/CJKutf8.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/CJKutf8.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/MinionPro.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/MinionPro.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/alltt.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/alltt.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/alphanum.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/alphanum.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/amsart.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/amsart.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/amsbook.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/amsbook.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/amsbsy.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/amsbsy.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/amsmath.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/amsmath.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/amsopn.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/amsopn.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/amstex.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/amstex.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/amstext.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/amstext.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/amsthm.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/amsthm.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/article.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/article.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/austrian.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/austrian.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/babel.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/babel.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/beamer.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/beamer.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/book.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/book.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/booktabs.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/booktabs.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/bulgarian.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/bulgarian.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/captcont.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/captcont.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/comment.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/comment.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/csquotes.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/csquotes.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/czech.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/czech.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/danish.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/danish.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/dinbrief.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/dinbrief.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/dk-bib.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/dk-bib.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/dk.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/dk.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/doc.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/doc.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/dutch.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/dutch.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/emp.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/emp.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/epsf.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/epsf.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/fancyref.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/fancyref.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/flashcards.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/flashcards.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/foils.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/foils.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/francais.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/francais.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/frenchb.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/frenchb.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/german.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/german.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/graphics.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/graphics.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/graphicx.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/graphicx.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/harvard.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/harvard.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/hyperref.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/hyperref.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/icelandic.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/icelandic.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/index.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/index.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/inputenc.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/inputenc.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/italian.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/italian.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/j-article.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/j-article.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/j-book.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/j-book.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/j-report.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/j-report.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/jarticle.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/jarticle.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/jbook.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/jbook.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/jreport.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/jreport.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/jsarticle.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/jsarticle.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/jsbook.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/jsbook.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/jura.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/jura.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/jurabib.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/jurabib.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/latexinfo.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/latexinfo.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/letter.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/letter.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/listings.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/listings.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/ltx-base.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/ltx-base.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/ltxdoc.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/ltxdoc.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/makeidx.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/makeidx.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/mdwlist.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/mdwlist.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/multido.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/multido.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/multind.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/multind.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/natbib.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/natbib.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/naustrian.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/naustrian.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/ngerman.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/ngerman.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/nicefrac.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/nicefrac.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/nomencl.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/nomencl.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/paralist.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/paralist.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/pdfsync.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/pdfsync.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/plfonts.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/plfonts.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/plhb.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/plhb.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/polish.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/polish.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/polski.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/polski.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/prosper.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/prosper.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/psfig.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/psfig.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/pst-grad.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/pst-grad.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/pst-node.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/pst-node.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/pst-plot.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/pst-plot.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/pst-slpe.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/pst-slpe.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/pstricks.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/pstricks.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/report.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/report.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/ruby.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/ruby.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/scrartcl.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/scrartcl.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/scrbase.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/scrbase.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/scrbook.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/scrbook.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/scrlttr2.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/scrlttr2.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/scrpage2.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/scrpage2.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/scrreprt.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/scrreprt.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/shortvrb.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/shortvrb.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/slides.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/slides.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/slovak.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/slovak.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/subfigure.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/subfigure.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/swedish.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/swedish.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/tabularx.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/tabularx.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/units.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/units.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/url.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/url.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/varioref.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/varioref.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/verbatim.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/verbatim.elc
    new file:   conf/.emacs.d/site-lisp/auctex/style/virtex.el
    new file:   conf/.emacs.d/site-lisp/auctex/style/virtex.elc
    new file:   conf/.emacs.d/site-lisp/auctex/tex-bar.el
    new file:   conf/.emacs.d/site-lisp/auctex/tex-bar.elc
    new file:   conf/.emacs.d/site-lisp/auctex/tex-buf.el
    new file:   conf/.emacs.d/site-lisp/auctex/tex-buf.elc
    new file:   conf/.emacs.d/site-lisp/auctex/tex-fold.el
    new file:   conf/.emacs.d/site-lisp/auctex/tex-fold.elc
    new file:   conf/.emacs.d/site-lisp/auctex/tex-font.el
    new file:   conf/.emacs.d/site-lisp/auctex/tex-font.elc
    new file:   conf/.emacs.d/site-lisp/auctex/tex-fptex.el
    new file:   conf/.emacs.d/site-lisp/auctex/tex-fptex.elc
    new file:   conf/.emacs.d/site-lisp/auctex/tex-info.el
    new file:   conf/.emacs.d/site-lisp/auctex/tex-info.elc
    new file:   conf/.emacs.d/site-lisp/auctex/tex-jp.el
    new file:   conf/.emacs.d/site-lisp/auctex/tex-jp.elc
    new file:   conf/.emacs.d/site-lisp/auctex/tex-mik.el
    new file:   conf/.emacs.d/site-lisp/auctex/tex-mik.elc
    new file:   conf/.emacs.d/site-lisp/auctex/tex-site.el
    new file:   conf/.emacs.d/site-lisp/auctex/tex-site.el.in
    new file:   conf/.emacs.d/site-lisp/auctex/tex-site.el.out
    new file:   conf/.emacs.d/site-lisp/auctex/tex-style.el
    new file:   conf/.emacs.d/site-lisp/auctex/tex-style.elc
    new file:   conf/.emacs.d/site-lisp/auctex/tex-wizard.el
    new file:   conf/.emacs.d/site-lisp/auctex/tex.el
    new file:   conf/.emacs.d/site-lisp/auctex/tex.elc
    new file:   conf/.emacs.d/site-lisp/auctex/texmathp.el
    new file:   conf/.emacs.d/site-lisp/auctex/texmathp.elc
    new file:   conf/.emacs.d/site-lisp/auctex/toolbar-x.el
    new file:   conf/.emacs.d/site-lisp/auctex/toolbar-x.elc
    new file:   conf/.emacs.d/site-lisp/auto-complete/ac-dict/c++-mode
    new file:   conf/.emacs.d/site-lisp/auto-complete/ac-dict/c-mode
    new file:   conf/.emacs.d/site-lisp/auto-complete/ac-dict/clojure-mode
    new file:   conf/.emacs.d/site-lisp/auto-complete/ac-dict/css-mode
    new file:   conf/.emacs.d/site-lisp/auto-complete/ac-dict/java-mode
    new file:   conf/.emacs.d/site-lisp/auto-complete/ac-dict/javascript-mode
    new file:   conf/.emacs.d/site-lisp/auto-complete/ac-dict/php-mode
    new file:   conf/.emacs.d/site-lisp/auto-complete/ac-dict/python-mode
    new file:   conf/.emacs.d/site-lisp/auto-complete/ac-dict/ruby-mode
    new file:   conf/.emacs.d/site-lisp/auto-complete/auto-complete-config.el
    new file:   conf/.emacs.d/site-lisp/auto-complete/auto-complete-config.elc
    new file:   conf/.emacs.d/site-lisp/auto-complete/auto-complete.el
    new file:   conf/.emacs.d/site-lisp/auto-complete/auto-complete.elc
    new file:   conf/.emacs.d/site-lisp/auto-complete/fuzzy.el
    new file:   conf/.emacs.d/site-lisp/auto-complete/fuzzy.elc
    new file:   conf/.emacs.d/site-lisp/auto-complete/popup.el
    new file:   conf/.emacs.d/site-lisp/auto-complete/popup.elc
    new file:   conf/.emacs.d/site-lisp/sml-mode/.cvsignore
    new file:   conf/.emacs.d/site-lisp/sml-mode/BUGS
    new file:   conf/.emacs.d/site-lisp/sml-mode/ChangeLog
    new file:   conf/.emacs.d/site-lisp/sml-mode/INSTALL
    new file:   conf/.emacs.d/site-lisp/sml-mode/Makefile
    new file:   conf/.emacs.d/site-lisp/sml-mode/NEWS
    new file:   conf/.emacs.d/site-lisp/sml-mode/README
    new file:   conf/.emacs.d/site-lisp/sml-mode/TODO
    new file:   conf/.emacs.d/site-lisp/sml-mode/gmon.out
    new file:   conf/.emacs.d/site-lisp/sml-mode/makefile.pkg
    new file:   conf/.emacs.d/site-lisp/sml-mode/sml-compat.el
    new file:   conf/.emacs.d/site-lisp/sml-mode/sml-compat.elc
    new file:   conf/.emacs.d/site-lisp/sml-mode/sml-defs.el
    new file:   conf/.emacs.d/site-lisp/sml-mode/sml-defs.elc
    new file:   conf/.emacs.d/site-lisp/sml-mode/sml-mode-startup.el
    new file:   conf/.emacs.d/site-lisp/sml-mode/sml-mode-startup.elc
    new file:   conf/.emacs.d/site-lisp/sml-mode/sml-mode.el
    new file:   conf/.emacs.d/site-lisp/sml-mode/sml-mode.elc
    new file:   conf/.emacs.d/site-lisp/sml-mode/sml-mode.info
    new file:   conf/.emacs.d/site-lisp/sml-mode/sml-mode.spec
    new file:   conf/.emacs.d/site-lisp/sml-mode/sml-mode.texi
    new file:   conf/.emacs.d/site-lisp/sml-mode/sml-move.el
    new file:   conf/.emacs.d/site-lisp/sml-mode/sml-move.elc
    new file:   conf/.emacs.d/site-lisp/sml-mode/sml-proc.el
    new file:   conf/.emacs.d/site-lisp/sml-mode/sml-proc.elc
    new file:   conf/.emacs.d/site-lisp/sml-mode/sml-util.el
    new file:   conf/.emacs.d/site-lisp/sml-mode/sml-util.elc
    new file:   conf/.emacs.d/site-lisp/sml-mode/testcases.sml
    new file:   conf/.emacs.d/site-lisp/tmtheme.el
    new file:   conf/.emacs.d/site-lisp/tmtheme.elc
    new file:   conf/.emacs.d/site-lisp/tmthemes/Active4D.tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/All Hallow's Eve.tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/Amy.tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/Blackboard.tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/Brilliance Black.tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/Cobalt.tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/Dawn.tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/Dobdark.tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/Eiffel.tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/Espresso Libre.tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/IDLE.tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/LAZY.tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/Mac Classic.tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/MagicWB (Amiga).tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/Monokai.tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/Pastels on Dark.tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/Slush & Poppies.tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/SpaceCadet.tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/Sunburst.tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/Twilight.tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/Vibrant Ink.tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/Zenburnesque.tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/dump.el
    new file:   conf/.emacs.d/site-lisp/tmthemes/iLife 05.tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/iPlastic.tmTheme
    new file:   conf/.emacs.d/site-lisp/tmthemes/monoindustrial.tmTheme
    new file:   conf/.tmux.conf
    new file:   conf/.vim/.VimballRecord
    new file:   conf/.vim/.netrwhist
    new file:   conf/.vim/NERD_commenter.zip
    new file:   conf/.vim/NERD_tree.zip
    new file:   conf/.vim/after/ftplugin/c.vim
    new file:   conf/.vim/after/ftplugin/cpp.vim
    new file:   conf/.vim/autoload/conque_term.vim
    new file:   conf/.vim/autoload/genutils.vim
    new file:   conf/.vim/autoload/omni/common/debug.vim
    new file:   conf/.vim/autoload/omni/common/utils.vim
    new file:   conf/.vim/autoload/omni/cpp/complete.vim
    new file:   conf/.vim/autoload/omni/cpp/includes.vim
    new file:   conf/.vim/autoload/omni/cpp/items.vim
    new file:   conf/.vim/autoload/omni/cpp/maycomplete.vim
    new file:   conf/.vim/autoload/omni/cpp/namespaces.vim
    new file:   conf/.vim/autoload/omni/cpp/settings.vim
    new file:   conf/.vim/autoload/omni/cpp/tokenizer.vim
    new file:   conf/.vim/autoload/omni/cpp/utils.vim
    new file:   conf/.vim/bufexplorer.zip
    new file:   conf/.vim/colors/smyang.vim
    new file:   conf/.vim/compiler/tex.vim
    new file:   conf/.vim/doc/Makefile
    new file:   conf/.vim/doc/Makefile.in
    new file:   conf/.vim/doc/NERD_commenter.txt
    new file:   conf/.vim/doc/NERD_tree.txt
    new file:   conf/.vim/doc/README
    new file:   conf/.vim/doc/README.new
    new file:   conf/.vim/doc/bufexplorer.txt
    new file:   conf/.vim/doc/catalog.xml
    new file:   conf/.vim/doc/conque_term.txt
    new file:   conf/.vim/doc/gundo.txt
    new file:   conf/.vim/doc/imaps.txt
    new file:   conf/.vim/doc/latex-suite-chunk.xsl
    new file:   conf/.vim/doc/latex-suite-common.xsl
    new file:   conf/.vim/doc/latex-suite-quickstart.css
    new file:   conf/.vim/doc/latex-suite-quickstart.html
    new file:   conf/.vim/doc/latex-suite-quickstart.txt
    new file:   conf/.vim/doc/latex-suite-quickstart.xml
    new file:   conf/.vim/doc/latex-suite-quickstart/index.html
    new file:   conf/.vim/doc/latex-suite-quickstart/lsq-compiling.html
    new file:   conf/.vim/doc/latex-suite-quickstart/lsq-conclusions.html
    new file:   conf/.vim/doc/latex-suite-quickstart/lsq-debugging.html
    new file:   conf/.vim/doc/latex-suite-quickstart/lsq-folding.html
    new file:   conf/.vim/doc/latex-suite-quickstart/lsq-insert-environment.html
    new file:   conf/.vim/doc/latex-suite-quickstart/lsq-inserting-reference.html
    new file:   conf/.vim/doc/latex-suite-quickstart/lsq-inserting-template.html
    new file:   conf/.vim/doc/latex-suite-quickstart/lsq-keyboard-shortcuts.html
    new file:   conf/.vim/doc/latex-suite-quickstart/lsq-lsq-inserting-package.html
    new file:   conf/.vim/doc/latex-suite-quickstart/lsq-quick-forward-searching.html
    new file:   conf/.vim/doc/latex-suite-quickstart/lsq-quick-inverse-searching.html
    new file:   conf/.vim/doc/latex-suite-quickstart/lsq-using-tutorial.html
    new file:   conf/.vim/doc/latex-suite-quickstart/lsq-viewing-dvi.html
    new file:   conf/.vim/doc/latex-suite.css
    new file:   conf/.vim/doc/latex-suite.html
    new file:   conf/.vim/doc/latex-suite.txt
    new file:   conf/.vim/doc/latex-suite.xml
    new file:   conf/.vim/doc/latex-suite.xsl
    new file:   conf/.vim/doc/latex-suite/altkey-mappings.html
    new file:   conf/.vim/doc/latex-suite/auc-tex-mappings.html
    new file:   conf/.vim/doc/latex-suite/automatic-package-detection.html
    new file:   conf/.vim/doc/latex-suite/bibtex-bindings.html
    new file:   conf/.vim/doc/latex-suite/compiler-dependency.html
    new file:   conf/.vim/doc/latex-suite/compiler-output-customization.html
    new file:   conf/.vim/doc/latex-suite/compiler-rules.html
    new file:   conf/.vim/doc/latex-suite/compiling-multiple.html
    new file:   conf/.vim/doc/latex-suite/custom-macros-menu.html
    new file:   conf/.vim/doc/latex-suite/customizing-compiling.html
    new file:   conf/.vim/doc/latex-suite/customizing-folding.html
    new file:   conf/.vim/doc/latex-suite/customizing-latex-completion.html
    new file:   conf/.vim/doc/latex-suite/customizing-latex-suite.html
    new file:   conf/.vim/doc/latex-suite/customizing-macros.html
    new file:   conf/.vim/doc/latex-suite/customizing-menus.html
    new file:   conf/.vim/doc/latex-suite/customizing-packages.html
    new file:   conf/.vim/doc/latex-suite/customizing-place-holders.html
    new file:   conf/.vim/doc/latex-suite/customizing-smart-keys.html
    new file:   conf/.vim/doc/latex-suite/customizing-viewing.html
    new file:   conf/.vim/doc/latex-suite/customizing-what-to-fold.html
    new file:   conf/.vim/doc/latex-suite/default-folding.html
    new file:   conf/.vim/doc/latex-suite/diacritic-mappings.html
    new file:   conf/.vim/doc/latex-suite/editing-folding.html
    new file:   conf/.vim/doc/latex-suite/environment-mappings.html
    new file:   conf/.vim/doc/latex-suite/font-maps.html
    new file:   conf/.vim/doc/latex-suite/forward-searching.html
    new file:   conf/.vim/doc/latex-suite/greek-letter-mappings.html
    new file:   conf/.vim/doc/latex-suite/index.html
    new file:   conf/.vim/doc/latex-suite/inserting-packages.html
    new file:   conf/.vim/doc/latex-suite/inverse-searching.html
    new file:   conf/.vim/doc/latex-suite/latex-command-maps.html
    new file:   conf/.vim/doc/latex-suite/latex-compiling.html
    new file:   conf/.vim/doc/latex-suite/latex-completion-cite.html
    new file:   conf/.vim/doc/latex-suite/latex-completion.html
    new file:   conf/.vim/doc/latex-suite/latex-folding.html
    new file:   conf/.vim/doc/latex-suite/latex-macros.html
    new file:   conf/.vim/doc/latex-suite/latex-master-file.html
    new file:   conf/.vim/doc/latex-suite/latex-packages.html
    new file:   conf/.vim/doc/latex-suite/latex-project-settings.html
    new file:   conf/.vim/doc/latex-suite/latex-project.html
    new file:   conf/.vim/doc/latex-suite/latex-suite-commands-maps.html
    new file:   conf/.vim/doc/latex-suite/latex-suite-commands.html
    new file:   conf/.vim/doc/latex-suite/latex-suite-credits.html
    new file:   conf/.vim/doc/latex-suite/latex-suite-maps.html
    new file:   conf/.vim/doc/latex-suite/latex-suite-templates.html
    new file:   conf/.vim/doc/latex-suite/latex-viewing-rules.html
    new file:   conf/.vim/doc/latex-suite/latex-viewing.html
    new file:   conf/.vim/doc/latex-suite/ls-completion-custom.html
    new file:   conf/.vim/doc/latex-suite/ls-completion-ref.html
    new file:   conf/.vim/doc/latex-suite/ls-completion-usage.html
    new file:   conf/.vim/doc/latex-suite/ls-filename-completion.html
    new file:   conf/.vim/doc/latex-suite/ls-general-purpose-settings.html
    new file:   conf/.vim/doc/latex-suite/ls-new-macros.html
    new file:   conf/.vim/doc/latex-suite/package-actions.html
    new file:   conf/.vim/doc/latex-suite/part-compiling.html
    new file:   conf/.vim/doc/latex-suite/recommended-settings.html
    new file:   conf/.vim/doc/latex-suite/section-mappings.html
    new file:   conf/.vim/doc/latex-suite/smart-keys.html
    new file:   conf/.vim/doc/latex-suite/supporting-packages.html
    new file:   conf/.vim/doc/latexhelp.txt
    new file:   conf/.vim/doc/omnicppcomplete.txt
    new file:   conf/.vim/doc/taglist.txt
    new file:   conf/.vim/doc/tags
    new file:   conf/.vim/ftplugin/bib_latexSuite.vim
    new file:   conf/.vim/ftplugin/latex-suite/bibtex.vim
    new file:   conf/.vim/ftplugin/latex-suite/bibtools.py
    new file:   conf/.vim/ftplugin/latex-suite/bibtools.pyc
    new file:   conf/.vim/ftplugin/latex-suite/brackets.vim
    new file:   conf/.vim/ftplugin/latex-suite/compiler.vim
    new file:   conf/.vim/ftplugin/latex-suite/custommacros.vim
    new file:   conf/.vim/ftplugin/latex-suite/diacritics.vim
    new file:   conf/.vim/ftplugin/latex-suite/dictionaries/SIunits
    new file:   conf/.vim/ftplugin/latex-suite/dictionaries/dictionary
    new file:   conf/.vim/ftplugin/latex-suite/elementmacros.vim
    new file:   conf/.vim/ftplugin/latex-suite/envmacros.vim
    new file:   conf/.vim/ftplugin/latex-suite/folding.vim
    new file:   conf/.vim/ftplugin/latex-suite/macros/example
    new file:   conf/.vim/ftplugin/latex-suite/main.vim
    new file:   conf/.vim/ftplugin/latex-suite/mathmacros-utf.vim
    new file:   conf/.vim/ftplugin/latex-suite/mathmacros.vim
    new file:   conf/.vim/ftplugin/latex-suite/multicompile.vim
    new file:   conf/.vim/ftplugin/latex-suite/outline.py
    new file:   conf/.vim/ftplugin/latex-suite/outline.pyc
    new file:   conf/.vim/ftplugin/latex-suite/packages.vim
    new file:   conf/.vim/ftplugin/latex-suite/packages/SIunits
    new file:   conf/.vim/ftplugin/latex-suite/packages/accents
    new file:   conf/.vim/ftplugin/latex-suite/packages/acromake
    new file:   conf/.vim/ftplugin/latex-suite/packages/afterpage
    new file:   conf/.vim/ftplugin/latex-suite/packages/alltt
    new file:   conf/.vim/ftplugin/latex-suite/packages/amsmath
    new file:   conf/.vim/ftplugin/latex-suite/packages/amsthm
    new file:   conf/.vim/ftplugin/latex-suite/packages/amsxtra
    new file:   conf/.vim/ftplugin/latex-suite/packages/arabic
    new file:   conf/.vim/ftplugin/latex-suite/packages/array
    new file:   conf/.vim/ftplugin/latex-suite/packages/babel
    new file:   conf/.vim/ftplugin/latex-suite/packages/bar
    new file:   conf/.vim/ftplugin/latex-suite/packages/bm
    new file:   conf/.vim/ftplugin/latex-suite/packages/bophook
    new file:   conf/.vim/ftplugin/latex-suite/packages/boxedminipage
    new file:   conf/.vim/ftplugin/latex-suite/packages/caption2
    new file:   conf/.vim/ftplugin/latex-suite/packages/cases
    new file:   conf/.vim/ftplugin/latex-suite/packages/ccaption
    new file:   conf/.vim/ftplugin/latex-suite/packages/changebar
    new file:   conf/.vim/ftplugin/latex-suite/packages/chapterbib
    new file:   conf/.vim/ftplugin/latex-suite/packages/cite
    new file:   conf/.vim/ftplugin/latex-suite/packages/color
    new file:   conf/.vim/ftplugin/latex-suite/packages/comma
    new file:   conf/.vim/ftplugin/latex-suite/packages/deleq
    new file:   conf/.vim/ftplugin/latex-suite/packages/drftcite
    new file:   conf/.vim/ftplugin/latex-suite/packages/dropping
    new file:   conf/.vim/ftplugin/latex-suite/packages/enumerate
    new file:   conf/.vim/ftplugin/latex-suite/packages/eqlist
    new file:   conf/.vim/ftplugin/latex-suite/packages/eqparbox
    new file:   conf/.vim/ftplugin/latex-suite/packages/everyshi
    new file:   conf/.vim/ftplugin/latex-suite/packages/exmpl
    new file:   conf/.vim/ftplugin/latex-suite/packages/flafter
    new file:   conf/.vim/ftplugin/latex-suite/packages/float
    new file:   conf/.vim/ftplugin/latex-suite/packages/floatflt
    new file:   conf/.vim/ftplugin/latex-suite/packages/fn2end
    new file:   conf/.vim/ftplugin/latex-suite/packages/footmisc
    new file:   conf/.vim/ftplugin/latex-suite/packages/geometry
    new file:   conf/.vim/ftplugin/latex-suite/packages/german
    new file:   conf/.vim/ftplugin/latex-suite/packages/graphicx
    new file:   conf/.vim/ftplugin/latex-suite/packages/graphpap
    new file:   conf/.vim/ftplugin/latex-suite/packages/harpoon
    new file:   conf/.vim/ftplugin/latex-suite/packages/hhline
    new file:   conf/.vim/ftplugin/latex-suite/packages/histogram
    new file:   conf/.vim/ftplugin/latex-suite/packages/hyperref
    new file:   conf/.vim/ftplugin/latex-suite/packages/ifthen
    new file:   conf/.vim/ftplugin/latex-suite/packages/inputenc
    new file:   conf/.vim/ftplugin/latex-suite/packages/letterspace
    new file:   conf/.vim/ftplugin/latex-suite/packages/lineno
    new file:   conf/.vim/ftplugin/latex-suite/packages/longtable
    new file:   conf/.vim/ftplugin/latex-suite/packages/lscape
    new file:   conf/.vim/ftplugin/latex-suite/packages/manyfoot
    new file:   conf/.vim/ftplugin/latex-suite/packages/moreverb
    new file:   conf/.vim/ftplugin/latex-suite/packages/multibox
    new file:   conf/.vim/ftplugin/latex-suite/packages/multicol
    new file:   conf/.vim/ftplugin/latex-suite/packages/newalg
    new file:   conf/.vim/ftplugin/latex-suite/packages/ngerman
    new file:   conf/.vim/ftplugin/latex-suite/packages/numprint
    new file:   conf/.vim/ftplugin/latex-suite/packages/oldstyle
    new file:   conf/.vim/ftplugin/latex-suite/packages/outliner
    new file:   conf/.vim/ftplugin/latex-suite/packages/overcite
    new file:   conf/.vim/ftplugin/latex-suite/packages/parallel
    new file:   conf/.vim/ftplugin/latex-suite/packages/plain
    new file:   conf/.vim/ftplugin/latex-suite/packages/plates
    new file:   conf/.vim/ftplugin/latex-suite/packages/polski
    new file:   conf/.vim/ftplugin/latex-suite/packages/psgo
    new file:   conf/.vim/ftplugin/latex-suite/packages/schedule
    new file:   conf/.vim/ftplugin/latex-suite/packages/textfit
    new file:   conf/.vim/ftplugin/latex-suite/packages/times
    new file:   conf/.vim/ftplugin/latex-suite/packages/tipa
    new file:   conf/.vim/ftplugin/latex-suite/packages/ulem
    new file:   conf/.vim/ftplugin/latex-suite/packages/url
    new file:   conf/.vim/ftplugin/latex-suite/packages/verbatim
    new file:   conf/.vim/ftplugin/latex-suite/packages/version
    new file:   conf/.vim/ftplugin/latex-suite/projecttemplate.vim
    new file:   conf/.vim/ftplugin/latex-suite/pytools.py
    new file:   conf/.vim/ftplugin/latex-suite/smartspace.vim
    new file:   conf/.vim/ftplugin/latex-suite/templates.vim
    new file:   conf/.vim/ftplugin/latex-suite/templates/IEEEtran.tex
    new file:   conf/.vim/ftplugin/latex-suite/templates/article.tex
    new file:   conf/.vim/ftplugin/latex-suite/templates/report.tex
    new file:   conf/.vim/ftplugin/latex-suite/templates/report_two_column.tex
    new file:   conf/.vim/ftplugin/latex-suite/texmenuconf.vim
    new file:   conf/.vim/ftplugin/latex-suite/texproject.vim
    new file:   conf/.vim/ftplugin/latex-suite/texrc
    new file:   conf/.vim/ftplugin/latex-suite/texviewer.vim
    new file:   conf/.vim/ftplugin/latex-suite/version.vim
    new file:   conf/.vim/ftplugin/latex-suite/wizardfuncs.vim
    new file:   conf/.vim/ftplugin/tex_latexSuite.vim
    new file:   conf/.vim/genutils-2.5.zip
    new file:   conf/.vim/indent/tex.vim
    new file:   conf/.vim/latextags
    new file:   conf/.vim/ltags
    new file:   conf/.vim/minibufexpl.vim
    new file:   conf/.vim/nerdtree_plugin/exec_menuitem.vim
    new file:   conf/.vim/nerdtree_plugin/fs_menu.vim
    new file:   conf/.vim/omnicppcomplete-0.41.zip
    new file:   conf/.vim/plugin/DoxygenToolkit.vim
    new file:   conf/.vim/plugin/NERD_commenter.vim
    new file:   conf/.vim/plugin/NERD_tree.vim
    new file:   conf/.vim/plugin/SyntaxFolds.vim
    new file:   conf/.vim/plugin/a.vim
    new file:   conf/.vim/plugin/bufexplorer.vim
    new file:   conf/.vim/plugin/conque_term.vim
    new file:   conf/.vim/plugin/filebrowser.vim
    new file:   conf/.vim/plugin/genutils.vim
    new file:   conf/.vim/plugin/gundo.vim
    new file:   conf/.vim/plugin/imaps.vim
    new file:   conf/.vim/plugin/libList.vim
    new file:   conf/.vim/plugin/remoteOpen.vim
    new file:   conf/.vim/plugin/showfunc.vim
    new file:   conf/.vim/plugin/taglist.vim
    new file:   conf/.vim/plugin/tex.vim
    new file:   conf/.vim/site/Essays1743.ttf
    new file:   conf/.vim/site/index.html
    new file:   conf/.vim/site/less.js
    new file:   conf/.vim/site/publish.sh
    new file:   conf/.vim/site/style.less
    new file:   conf/.vim/sjl-gundo.vim-v2.1.1-2-ge7a1ecf.tar.gz
    new file:   conf/.vim/syntax/conque_term.vim
    new file:   conf/.vim/taglist_45.zip
    new file:   conf/.vim/tests/README.markdown
    new file:   conf/.vim/tests/bundled/lh-vim-lib/autoload/lh/UT.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/autoload/lh/askvim.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/autoload/lh/buffer.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/autoload/lh/buffer/dialog.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/autoload/lh/command.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/autoload/lh/common.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/autoload/lh/encoding.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/autoload/lh/env.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/autoload/lh/event.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/autoload/lh/function.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/autoload/lh/graph/tsort.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/autoload/lh/list.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/autoload/lh/menu.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/autoload/lh/option.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/autoload/lh/path.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/autoload/lh/position.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/autoload/lh/syntax.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/autoload/lh/visual.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/doc/lh-vim-lib.txt
    new file:   conf/.vim/tests/bundled/lh-vim-lib/lh-vim-lib.README
    new file:   conf/.vim/tests/bundled/lh-vim-lib/macros/menu-map.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/mkVba/mk-lh-vim-lib.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/plugin/let.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/plugin/lhvl.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/plugin/ui-functions.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/plugin/words_tools.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/tests/lh/function.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/tests/lh/list.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/tests/lh/path.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/tests/lh/test-Fargs2String.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/tests/lh/test-askmenu.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/tests/lh/test-command.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/tests/lh/test-menu-map.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/tests/lh/test-toggle-menu.vim
    new file:   conf/.vim/tests/bundled/lh-vim-lib/tests/lh/topological-sort.vim
    new file:   conf/.vim/tests/bundled/ut/UT.README
    new file:   conf/.vim/tests/bundled/ut/autoload/lh/UT.vim
    new file:   conf/.vim/tests/bundled/ut/autoload/should/be.vim
    new file:   conf/.vim/tests/bundled/ut/doc/UT.txt
    new file:   conf/.vim/tests/bundled/ut/ftplugin/vim/vim_UT.vim
    new file:   conf/.vim/tests/bundled/ut/mkVba/mk-UT.vim
    new file:   conf/.vim/tests/bundled/ut/plugin/UT.vim
    new file:   conf/.vim/tests/bundled/ut/tests/lh/UT-fixtures.vim
    new file:   conf/.vim/tests/bundled/ut/tests/lh/UT.vim
    new file:   conf/.vim/tests/run-tests.sh
    new file:   conf/.vim/tests/test-graph.vim
    new file:   conf/.vim/tests/test-movement.vim
    new file:   conf/.vim/tests/test-preview.vim
    new file:   conf/.vim/tests/test-toggle.vim
    new file:   conf/.vim/tests/vim_test/autoload/lh
    new file:   conf/.vim/tests/vim_test/colors/desert.vim
    new file:   conf/.vim/tests/vim_test/ftplugin/vim
    new file:   conf/.vim/tests/vim_test/macros/menu-map.vim
    new file:   conf/.vim/tests/vim_test/plugin/UT.vim
    new file:   conf/.vim/tests/vim_test/plugin/gundo.vim
    new file:   conf/.vim/tests/vim_test/plugin/gundo_test_utils.vim
    new file:   conf/.vim/tests/vim_test/plugin/let.vim
    new file:   conf/.vim/tests/vim_test/plugin/lhvl.vim
    new file:   conf/.vim/tests/vim_test/plugin/ui-functions.vim
    new file:   conf/.vim/tests/vim_test/plugin/words_tools.vim
    new file:   conf/.vim/tests/vimrc_test
    new file:   conf/.vim/vim-latex-1.8.23-20100129-r1104.tar.gz
    #new file:   conf/.viminfj.tmp
    #new file:   conf/.viminfk.tmp
    #new file:   conf/.viminfl.tmp
    #new file:   conf/.viminfm.tmp
    #new file:   conf/.viminfn.tmp
    #new file:   conf/.viminfo
    #new file:   conf/.viminfo.tmp
    #new file:   conf/.viminfq.tmp
    #new file:   conf/.viminfr.tmp
    #new file:   conf/.viminfs.tmp
    #new file:   conf/.viminft.tmp
    #new file:   conf/.viminfu.tmp
    #new file:   conf/.viminfv.tmp
    #new file:   conf/.viminfw.tmp
    #new file:   conf/.viminfx.tmp
    #new file:   conf/.viminfy.tmp
    #new file:   conf/.viminfz.tmp
    new file:   conf/.vimrc