aboutsummaryrefslogtreecommitdiffhomepage
path: root/images
ModeNameSize
-rw-r--r--ProofGeneral.gif18165logplain
-rw-r--r--ProofGeneral.jpg16123logplain
-rw-r--r--README588logplain
-rw-r--r--epg-abort.png319logplain
-rw-r--r--epg-abort.xpm908logplain
-rw-r--r--epg-command.png764logplain
-rw-r--r--epg-command.xpm4475logplain
-rw-r--r--epg-context.png820logplain
-rw-r--r--epg-context.xpm3291logplain
-rw-r--r--epg-find.png733logplain
-rw-r--r--epg-find.xpm3832logplain
-rw-r--r--epg-goal.png996logplain
-rw-r--r--epg-goal.xpm5432logplain
-rw-r--r--epg-goto.png448logplain
-rw-r--r--epg-goto.xpm1447logplain
-rw-r--r--epg-help.png829logplain
-rw-r--r--epg-help.xpm4840logplain
-rw-r--r--epg-info.png721logplain
-rw-r--r--epg-info.xpm3000logplain
-rw-r--r--epg-interrupt.png287logplain
-rw-r--r--epg-interrupt.xpm1047logplain
-rw-r--r--epg-next.png202logplain
-rw-r--r--epg-next.xpm786logplain
-rw-r--r--epg-qed.png1102logplain
-rw-r--r--epg-qed.xpm6551logplain
-rw-r--r--epg-restart.png273logplain
-rw-r--r--epg-restart.xpm789logplain
-rw-r--r--epg-retract.png212logplain
-rw-r--r--epg-retract.xpm789logplain
-rw-r--r--epg-state.png817logplain
-rw-r--r--epg-state.xpm3289logplain
-rw-r--r--epg-undo.png198logplain
-rw-r--r--epg-undo.xpm786logplain
-rw-r--r--epg-use.png203logplain
-rw-r--r--epg-use.xpm785logplain
d---------gimp38logplain
-rw-r--r--hiddenproof.xpm1638logplain
-rw-r--r--pg-abort.xpm1769logplain
-rw-r--r--pg-command.xpm7072logplain
-rw-r--r--pg-context.xpm4576logplain
-rw-r--r--pg-find.xpm5837logplain
-rw-r--r--pg-goal.xpm11069logplain
-rw-r--r--pg-goto.xpm2221logplain
-rw-r--r--pg-help.xpm7581logplain
-rw-r--r--pg-info.xpm2398logplain
-rw-r--r--pg-interrupt.xpm2013logplain
-rw-r--r--pg-next.xpm1588logplain
-rw-r--r--pg-qed.xpm10860logplain
-rw-r--r--pg-restart.xpm1531logplain
-rw-r--r--pg-retract.xpm1636logplain
-rw-r--r--pg-state.xpm4574logplain
-rw-r--r--pg-undo.xpm1588logplain
-rw-r--r--pg-use.xpm1632logplain
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-10 18:13:55 +0000