Content of RPM emacs-common-proofgeneral-3.7.1-5.fc15.noarch.rpm :
/usr/bin/coqtags
/usr/bin/isartags
/usr/bin/legotags
/usr/bin/proofgeneral
/usr/share/doc/proofgeneral
/usr/share/doc/proofgeneral/AUTHORS
/usr/share/doc/proofgeneral/BUGS
/usr/share/doc/proofgeneral/CHANGES
/usr/share/doc/proofgeneral/COMPATIBILITY
/usr/share/doc/proofgeneral/COPYING
/usr/share/doc/proofgeneral/INSTALL
/usr/share/doc/proofgeneral/PG-adapting.pdf
/usr/share/doc/proofgeneral/ProofGeneral.pdf
/usr/share/doc/proofgeneral/README
/usr/share/doc/proofgeneral/REGISTER
/usr/share/doc/proofgeneral/acl2
/usr/share/doc/proofgeneral/acl2/example.acl2
/usr/share/doc/proofgeneral/acl2/root2.acl2
/usr/share/doc/proofgeneral/hol98
/usr/share/doc/proofgeneral/hol98/example.sml
/usr/share/doc/proofgeneral/hol98/root2.sml
/usr/share/doc/proofgeneral/isar
/usr/share/doc/proofgeneral/isar/Example-Xsym.thy
/usr/share/doc/proofgeneral/isar/Example.thy
/usr/share/doc/proofgeneral/isar/KnasterTarski.thy
/usr/share/doc/proofgeneral/isar/Root2_Isar.thy
/usr/share/doc/proofgeneral/isar/Root2_Tactic.thy
/usr/share/doc/proofgeneral/isar/Tarski.thy
/usr/share/doc/proofgeneral/lclam
/usr/share/doc/proofgeneral/lclam/example.lcm
/usr/share/doc/proofgeneral/lego
/usr/share/doc/proofgeneral/lego/example.l
/usr/share/doc/proofgeneral/lego/example2.l
/usr/share/doc/proofgeneral/lego/root2.l
/usr/share/doc/proofgeneral/pgshell
/usr/share/doc/proofgeneral/pgshell/example.pgsh
/usr/share/doc/proofgeneral/phox
/usr/share/doc/proofgeneral/phox/example.phx
/usr/share/doc/proofgeneral/phox/square-root-2.phx
/usr/share/doc/proofgeneral/plastic
/usr/share/doc/proofgeneral/plastic/test.lf
/usr/share/doc/proofgeneral/twelf
/usr/share/doc/proofgeneral/twelf/example.elf
/usr/share/info/PG-adapting.info.gz
/usr/share/info/ProofGeneral.info.gz
/usr/share/man/man1/proofgeneral.1.gz
/usr/share/proofgeneral
/usr/share/proofgeneral/application-registry
/usr/share/proofgeneral/application-registry/proofgeneral.applications
/usr/share/proofgeneral/applications
/usr/share/proofgeneral/applications/proofgeneral.desktop
/usr/share/proofgeneral/icons
/usr/share/proofgeneral/icons/hicolor
/usr/share/proofgeneral/icons/hicolor/16x16
/usr/share/proofgeneral/icons/hicolor/16x16/proofgeneral.png
/usr/share/proofgeneral/icons/hicolor/32x32
/usr/share/proofgeneral/icons/hicolor/32x32/proofgeneral.png
/usr/share/proofgeneral/icons/hicolor/48x48
/usr/share/proofgeneral/icons/hicolor/48x48/proofgeneral.png
/usr/share/proofgeneral/mime-info
/usr/share/proofgeneral/mime-info/proofgeneral.keys
/usr/share/proofgeneral/mime-info/proofgeneral.mime
/usr/share/proofgeneral/pixmaps
/usr/share/proofgeneral/pixmaps/proofgeneral.png
420007