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

• bufhist.el
• bufhist.elc
• holes.el
• holes.elc
• local-vars-list.el
• local-vars-list.elc
• maths-menu.el
• maths-menu.elc
• pg-dev.el
• pg-dev.elc
• pg-fontsets.el
• pg-fontsets.elc
• proof-compat.el
• proof-compat.elc
• scomint.el
• scomint.elc
• span.el
• span.elc
• texi-docstring-magic.el
• texi-docstring-magic.elc
• unicode-chars.el
• unicode-chars.elc
• unicode-tokens.el
• unicode-tokens.elc

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Apr 7 01:26:06 2025