aboutsummaryrefslogtreecommitdiffhomepage
path: root/images
ModeNameSize
-rw-r--r--ProofGeneral-splash.png66563logplain
-rw-r--r--ProofGeneral.png162068logplain
-rw-r--r--README904logplain
-rw-r--r--epg-abort.png307logplain
-rw-r--r--epg-abort.xpm908logplain
-rw-r--r--epg-command.png860logplain
-rw-r--r--epg-command.xpm4475logplain
-rw-r--r--epg-context.png889logplain
-rw-r--r--epg-context.xpm3291logplain
-rw-r--r--epg-find.png854logplain
-rw-r--r--epg-find.xpm3832logplain
-rw-r--r--epg-goal.png1068logplain
-rw-r--r--epg-goal.xpm5432logplain
-rw-r--r--epg-goto.png396logplain
-rw-r--r--epg-goto.xpm1447logplain
-rw-r--r--epg-help.png918logplain
-rw-r--r--epg-help.xpm4840logplain
-rw-r--r--epg-home.png848logplain
-rw-r--r--epg-home.xpm2803logplain
-rw-r--r--epg-info.png724logplain
-rw-r--r--epg-info.xpm3000logplain
-rw-r--r--epg-interrupt.png257logplain
-rw-r--r--epg-interrupt.xpm1047logplain
-rw-r--r--epg-next.png184logplain
-rw-r--r--epg-next.xpm786logplain
-rw-r--r--epg-prooftree.png347logplain
-rw-r--r--epg-prooftree.xpm776logplain
-rw-r--r--epg-qed.png1205logplain
-rw-r--r--epg-qed.xpm6551logplain
-rw-r--r--epg-restart.png228logplain
-rw-r--r--epg-restart.xpm789logplain
-rw-r--r--epg-retract.png187logplain
-rw-r--r--epg-retract.xpm789logplain
-rw-r--r--epg-state.png874logplain
-rw-r--r--epg-state.xpm3289logplain
-rw-r--r--epg-undo.png179logplain
-rw-r--r--epg-undo.xpm786logplain
-rw-r--r--epg-use.png189logplain
-rw-r--r--epg-use.xpm785logplain
-rw-r--r--hiddenproof.xpm1638logplain