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

• ProofGeneral-splash.png
• ProofGeneral.png
• README
• epg-abort.png
• epg-abort.xpm
• epg-command.png
• epg-command.xpm
• epg-context.png
• epg-context.xpm
• epg-find.png
• epg-find.xpm
• epg-goal.png
• epg-goal.xpm
• epg-goto.png
• epg-goto.xpm
• epg-help.png
• epg-help.xpm
• epg-home.png
• epg-home.xpm
• epg-info.png
• epg-info.xpm
• epg-interrupt.png
• epg-interrupt.xpm
• epg-next.png
• epg-next.xpm
• epg-prooftree.png
• epg-prooftree.xpm
• epg-qed.png
• epg-qed.xpm
• epg-restart.png
• epg-restart.xpm
• epg-retract.png
• epg-retract.xpm
• epg-state.png
• epg-state.xpm
• epg-undo.png
• epg-undo.xpm
• epg-use.png
• epg-use.xpm
• hiddenproof.xpm

Generated by rpm2html 1.8.1

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