aboutsummaryrefslogtreecommitdiffhomepage
path: root/images
ModeNameSize
-rw-r--r--ProofGeneral.gif18165logplain
-rw-r--r--ProofGeneral.jpg16123logplain
-rw-r--r--README588logplain
-rw-r--r--epg-abort.png427logplain
-rw-r--r--epg-abort.xpm1238logplain
-rw-r--r--epg-command.png958logplain
-rw-r--r--epg-command.xpm5083logplain
-rw-r--r--epg-context.png946logplain
-rw-r--r--epg-context.xpm3707logplain
-rw-r--r--epg-find.png867logplain
-rw-r--r--epg-find.xpm4440logplain
-rw-r--r--epg-goal.png1080logplain
-rw-r--r--epg-goal.xpm5592logplain
-rw-r--r--epg-goto.png565logplain
-rw-r--r--epg-goto.xpm1627logplain
-rw-r--r--epg-help.png1118logplain
-rw-r--r--epg-help.xpm6312logplain
-rw-r--r--epg-info.png662logplain
-rw-r--r--epg-info.xpm1389logplain
-rw-r--r--epg-interrupt.png509logplain
-rw-r--r--epg-interrupt.xpm1572logplain
-rw-r--r--epg-next.png277logplain
-rw-r--r--epg-next.xpm937logplain
-rw-r--r--epg-qed.png1125logplain
-rw-r--r--epg-qed.xpm7063logplain
-rw-r--r--epg-restart.png350logplain
-rw-r--r--epg-restart.xpm880logplain
-rw-r--r--epg-retract.png315logplain
-rw-r--r--epg-retract.xpm985logplain
-rw-r--r--epg-state.png965logplain
-rw-r--r--epg-state.xpm3705logplain
-rw-r--r--epg-undo.png283logplain
-rw-r--r--epg-undo.xpm937logplain
-rw-r--r--epg-use.png316logplain
-rw-r--r--epg-use.xpm981logplain
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-11 08:12:25 +0000