Content of RPM emacs-proofgeneral-el-4.4-7.fc29.noarch.rpm :
/usr/share/emacs/site-lisp/proofgeneral/acl2/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-compile-common.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-par-compile.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-seq-compile.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-smie.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-system.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/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-goals.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-movie.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-pamacs.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-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-faces.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-tree.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-unicode-tokens.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-useropts.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-utils.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof.el
/usr/share/emacs/site-lisp/proofgeneral/hol-light/hol-light-autotest.el
/usr/share/emacs/site-lisp/proofgeneral/hol-light/hol-light-unicode-tokens.el
/usr/share/emacs/site-lisp/proofgeneral/hol-light/hol-light.el
/usr/share/emacs/site-lisp/proofgeneral/hol98/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-profiling.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/lego/lego-syntax.el
/usr/share/emacs/site-lisp/proofgeneral/lego/lego.el
/usr/share/emacs/site-lisp/proofgeneral/lib/bufhist.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/scomint.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/pghaskell/pghaskell.el
/usr/share/emacs/site-lisp/proofgeneral/pgocaml/pgocaml.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