Content of RPM emacs-proofgeneral-el-3.7.1-5.fc15.noarch.rpm :
/usr/share/emacs/site-lisp/proofgeneral/acl2/acl2.el
/usr/share/emacs/site-lisp/proofgeneral/acl2/x-symbol-acl2.el
/usr/share/emacs/site-lisp/proofgeneral/ccc/ccc.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-mmm.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq.el
/usr/share/emacs/site-lisp/proofgeneral/coq/x-symbol-coq.el
/usr/share/emacs/site-lisp/proofgeneral/demoisa/demoisa-easy.el
/usr/share/emacs/site-lisp/proofgeneral/demoisa/demoisa.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-assoc.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-autotest.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-custom.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-display-table.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-goals.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-pbrpm.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-pgip.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-response.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-thymodes.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-user.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-vars.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-xml.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-autoloads.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-auxmodes.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-config.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-depends.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-easy-config.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-indent.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-maths-menu.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-menu.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-mmm.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-script.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-shell.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-splash.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-syntax.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-toolbar.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-unicode-tokens.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-utils.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-x-symbol.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof.el
/usr/share/emacs/site-lisp/proofgeneral/hol98/hol98.el
/usr/share/emacs/site-lisp/proofgeneral/hol98/x-symbol-hol98.el
/usr/share/emacs/site-lisp/proofgeneral/isar/interface-setup.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isabelle-system.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-autotest.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-find-theorems.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-keywords.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-mmm.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-syntax.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-unicode-tokens.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isar.el
/usr/share/emacs/site-lisp/proofgeneral/isar/x-symbol-isar.el
/usr/share/emacs/site-lisp/proofgeneral/lclam/lclam.el
/usr/share/emacs/site-lisp/proofgeneral/lego/lego-syntax.el
/usr/share/emacs/site-lisp/proofgeneral/lego/lego.el
/usr/share/emacs/site-lisp/proofgeneral/lego/x-symbol-lego.el
/usr/share/emacs/site-lisp/proofgeneral/lib/bufhist.el
/usr/share/emacs/site-lisp/proofgeneral/lib/holes-load.el
/usr/share/emacs/site-lisp/proofgeneral/lib/holes.el
/usr/share/emacs/site-lisp/proofgeneral/lib/local-vars-list.el
/usr/share/emacs/site-lisp/proofgeneral/lib/maths-menu.el
/usr/share/emacs/site-lisp/proofgeneral/lib/pg-dev.el
/usr/share/emacs/site-lisp/proofgeneral/lib/pg-fontsets.el
/usr/share/emacs/site-lisp/proofgeneral/lib/proof-compat.el
/usr/share/emacs/site-lisp/proofgeneral/lib/span-extent.el
/usr/share/emacs/site-lisp/proofgeneral/lib/span-overlay.el
/usr/share/emacs/site-lisp/proofgeneral/lib/span.el
/usr/share/emacs/site-lisp/proofgeneral/lib/texi-docstring-magic.el
/usr/share/emacs/site-lisp/proofgeneral/lib/unicode-chars.el
/usr/share/emacs/site-lisp/proofgeneral/lib/unicode-tokens.el
/usr/share/emacs/site-lisp/proofgeneral/lib/xml-fixed.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-auto.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-class.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-cmds.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-compat.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-cweb.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-mason.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-mode.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-noweb.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-region.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-rpm.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-sample.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-univ.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-utils.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-vars.el
/usr/share/emacs/site-lisp/proofgeneral/pgshell/pgshell.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-extraction.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-font.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-fun.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-lang.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-outline.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-pbrpm.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-sym-lock.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-tags.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox.el
/usr/share/emacs/site-lisp/proofgeneral/phox/x-symbol-phox.el
/usr/share/emacs/site-lisp/proofgeneral/plastic/plastic-syntax.el
/usr/share/emacs/site-lisp/proofgeneral/plastic/plastic.el
/usr/share/emacs/site-lisp/proofgeneral/twelf/twelf-font.el
/usr/share/emacs/site-lisp/proofgeneral/twelf/twelf-old.el
/usr/share/emacs/site-lisp/proofgeneral/twelf/twelf.el
/usr/share/emacs/site-lisp/proofgeneral/twelf/x-symbol-twelf.el