Fedora Rawhide for ppc64le : / usr /share /emacs /site-lisp /proofgeneral /generic

• pg-assoc.el
• pg-assoc.elc
• pg-autotest.el
• pg-autotest.elc
• pg-custom.el
• pg-custom.elc
• pg-goals.el
• pg-goals.elc
• pg-movie.el
• pg-movie.elc
• pg-pamacs.el
• pg-pamacs.elc
• pg-pbrpm.el
• pg-pbrpm.elc
• pg-pgip.el
• pg-pgip.elc
• pg-response.el
• pg-response.elc
• pg-user.el
• pg-user.elc
• pg-vars.el
• pg-vars.elc
• pg-xml.el
• pg-xml.elc
• proof-autoloads.el
• proof-autoloads.elc
• proof-auxmodes.el
• proof-auxmodes.elc
• proof-config.el
• proof-config.elc
• proof-depends.el
• proof-depends.elc
• proof-easy-config.el
• proof-easy-config.elc
• proof-faces.el
• proof-faces.elc
• proof-indent.el
• proof-indent.elc
• proof-maths-menu.el
• proof-maths-menu.elc
• proof-menu.el
• proof-menu.elc
• proof-script.el
• proof-script.elc
• proof-shell.el
• proof-shell.elc
• proof-site.el
• proof-site.elc
• proof-splash.el
• proof-splash.elc
• proof-syntax.el
• proof-syntax.elc
• proof-toolbar.el
• proof-toolbar.elc
• proof-tree.el
• proof-tree.elc
• proof-unicode-tokens.el
• proof-unicode-tokens.elc
• proof-useropts.el
• proof-useropts.elc
• proof-utils.el
• proof-utils.elc
• proof.el
• proof.elc

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Apr 9 08:02:51 2025