aboutsummaryrefslogtreecommitdiffhomepage
path: root/images
ModeNameSize
-rw-r--r--ProofGeneral.xcf72366logplain
-rw-r--r--README186logplain
-rw-r--r--down.xbm897logplain
-rw-r--r--down.xpm8596logplain
-rw-r--r--goal.xbm897logplain
-rw-r--r--goal.xpm14772logplain
-rw-r--r--left.xbm897logplain
-rw-r--r--left.xpm8596logplain
-rw-r--r--qed.xbm894logplain
-rw-r--r--qed.xpm7507logplain
-rw-r--r--restart.xbm906logplain
-rw-r--r--restart.xpm11959logplain
-rw-r--r--right.xbm900logplain
-rw-r--r--right.xpm8597logplain
-rw-r--r--up.xbm891logplain
-rw-r--r--up.xpm8594logplain